Cheng-Hong Li is a PhD candidate working with Prof. Luca Carloni in the Department of Computer Science at Columbia University. He received his B.S. in Electrical Engineering in 1998, and his M.S. in Computer Science in 2001, both from National Taiwan University, Taipei, Taiwan.

Cheng-Hong has a 4.1 GPA in the PhD program at Columbia University. He received graduate scholarship for the first in the class two times in the MS program in the EE department of National Taiwan University; he also received Presidential Award three times (given to top 5% of the class each semester), Tsung Chu-Chang scholarship two times, and Yang Shu-Jen scholarship in the undergraduate class.

His research areas are CAD algorithms, design methodologies for SoCs, formal verficatoins, and embedded system designs. His research objective is to increase the performance and quality of hardware and software systems, and to make the design and implementations efficient and error-free.

Cheng-Hong also has great interests in software development. He was a software engineer at VIA Technology at Taipei in 2002, where he collaborated in developing video drivers of embedded systems. He was with Trend Micro at Taipei in 2001, the leading company of anti-virus software, where he contributed a system update module for a product deployment and management system. He had a five-month internship at Siemens in Munich, Germany in 2000, where he developed an UML-based performance simulator for distributed software systems.