| About ALCom | News | People | Research | Publications | Tools | Student Info | Links |

The ALCom Lab concerns with Applied Logic and Computation in System Design. It is founded in August 2005. We are cooking an enjoyable research environment and a culture of creativity.


2016-11-07 杜冠樺、孫翊庭、茅耀文、江誠敏榮獲 CAD Contest at ICCAD 2016 國際競賽第三名
2016-11-07 杜冠樺、茅耀文榮獲2016 ICCAD CADathlon 國際程式競賽第二名
2016-10-01 王宏恩榮獲中國電機工程學會105 年度「青年論文獎」第三名
2016-09-01 Paper on "Analytic Approaches to the Collapse Operation and Equivalence Verification of Threshold Logic Circuits" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2016
2016-06-02 Paper on "String Analysis via Automata Manipulation with Logic Circuit Representation" to appear in International Conference on Computer Aided Verification (CAV) 2016

 
since 2007.4.2
Postal Address :
 Room 526, Ming-Dar Hall, National Taiwan University, Taipei 10617, Taiwan
Phone :
 +886-2-3366-9753
© 2007 Applied Logic and Computation Laboratory, GIEE, NTU. All rights reserved.