| About ALCom | News | People | Research | Publications | Downloads | 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.

2012-03-29 Paper on "Functional Timing Analysis Made Fast and General" is to be published in the Design Automation Conference 2012 (DAC’12)
2012-03-29 Paper on "When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way" is to be published in the International Conference on Computer Aided Verification 2012 (CAV’12)
2011-12-10 劉修源、周彥丞榮獲台大科林論文獎
2011-12-10 Paper on "Towards Completely Automatic Decoder Synthesis" is published in the International Conference on Computer Aided Design 2011 (ICCAD’11)
2011-06-01 劉修源、周彥丞榮獲台大電機系99學年度「大學部優良專題製作成果報告甄選」參獎

 
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.