Applied Logic and Computation (ALCom) Lab
Research Field
Jie-Hong R. Jiang received the B.S. and M.S. degrees in Electronics Engineering from National Chiao Tung University, Hsinchu, Taiwan, in 1996 and 1998, respectively. In 2004, he received the Ph.D. degree in Electrical Engineering and Computer Sciences from the University of California, Berkeley.
During his compulsory military service, from 1998 to 2000, he was a Second Lieutenant with the Air Force, R.O.C. Before joining National Taiwan University as an assistant professor in August 2005, he was with the University of California at Berkeley as a postdoctoral researcher. He is currently a Professor in the Department of Electrical Engineering and the Graduate Institute of Electronics Engineering at National Taiwan University. His research interests include foundations of system construction, system analysis and verification, hardware synthesis and optimization, computation with quantum physics, and analysis of biological systems.
ALCom Lab focuses on developing key techniques to advance the efficiency and quality of system design. Theoretical and experimental approaches are both taken. Among the broad interests, three main themes are covered: logic, optimization, and computation models.
formal verification, logic synthesis, optimization methods, computation models, quantum/molecular computation, systems and synthetic biology
Teaching Excellence Award, National Taiwan University, 2013, 2014, 2016, 2021, 2022, 2023
Humboldt Research Fellowship for Experienced Researchers, Humboldt Foundation, Germany, 2017
Academic Contribution Award, EECS College, National Taiwan University, 2011, 2013
TICD Young Researcher Award, Taiwan IC Design Society, 2012
Ph.D., Electrical Engineering and Computer Science, UC Berkeley, 2004
M.S., Electronics Engineering, National Chiao Tung University, 1998
B.S. Electronics Engineering, National Chiao Tung University, 1996