| About ALCom | News | People | Research | Publications | Tools | Student Info | Links |
Jie-Hong Roland Jiang
江介宏
Professor
Email: jhjiang@cc.ee.ntu.edu.tw
Homepage
Shih-Yu Chen
陳識宇
Email: r04943150@ntu.edu.tw
Mei-Yan Chiu
邱美燕
Email: r04943089@ntu.edu.tw
Tzu-Chien Hsu
徐子騫
Email: r02943082@ntu.edu.tw
Hao-Yuan Kuo
郭皓元
Email: r04943084@ntu.edu.tw
Nian-Ze Lee
李念澤
Email: d04943019@ntu.edu.tw
Chun-Hong Shih
施淳浤
Email: r04943088@ntu.edu.tw
Kuan-Hua Tu
杜冠樺
Email: isuis3322@gmail.com
Hung-En Wang
王宏恩
Email: b99901038@ntu.edu.tw
En-Yu Fan
樊恩宇
Email: r05943094@ntu.edu.tw
Pu-Hsien Fong
馮溥賢
Email: r05943100@ntu.edu.tw
Li-Cheng Chen
陳立誠
Email: hank12322@gmail.com
Chun-Ning Lai
賴俊寧
Email: r04943175@ntu.edu.tw
Yi-Tin Sun
孫翊庭
Email: r05943086@ntu.edu.tw
Hsiao-Lei Chien
錢曉蕾
(M.S., 2016)
Email: r03943093@ntu.edu.tw
Thesis Title :
A Gridless Approach to the Satisfiability of Self-Aligned Triple Patterning
無網格之自對準三圖案光罩分割之布林可滿足問題
Chi-Yung Feng
馮其湧
(M.S., 2016)
Email: r03943082@ntu.edu.tw
Thesis Title :
Optimal Battery Configurations and Control Strategies under Dynamic Loads
動態負載下的最佳化電池組合以及控制策略
Tzung-Lin Tsai
蔡宗霖
(M.S., 2016)
Email: r03943146@ntu.edu.tw
Thesis Title :
String analysis with logic circuit representation: implementation and optimization
利用邏輯電路表示式之字串分析法:實作與優化
Yu-Chan Wang
王瑜禪
(M.S., 2016)
Email: s23125790@hotmail.com
Thesis Title :
Biochemical System Synthesis using Enzyme Reactions
透過酶反應之生化系統合成
Valeriy Balabanov
包偉力
(Ph.D., 2015)
Email: balabasik@gmail.com
Thesis Title :
Certification in Quantified Decision Procedures
量詞布林公式之歸結證明系統與正反模型萃取
Hui-Ju Chiang
姜慧如
(Ph.D., 2015)
Email: b97901184@ntu.edu.tw
Thesis Title :
Biomolecular computing system design :
architecture, synthesis, and simulation
生物分子計算系統設計 : 架構、合成、與模擬
Yi-Hsiang Lai
賴奕翔
(M.S., 2015)
Email: r02943086@ntu.edu.tw
Thesis Title :
Unified QDI Handshake Modeling and Efficient Performance Analysis
of Acyclic Asynchronous Pipelines
無環非同步類延遲非敏感電路之統一建模與高效效能能分析
Ting-Wei Chiang
江庭瑋
(M.S., 2015)
Email: qvc00321@gmail.com
Thesis Title :
Scalable Synthesis of Safety Games and Low-Power Retention Using Satisfiability Solving
運用可滿足性求解於安全賽局及低功率狀態滯留電路之可擴充性合成
Chi-Chuan Chuang
莊紀詮
(M.S., 2014)
Email: chichuan327@hotmail.com
Thesis Title :
Synthesis of PCHB-WCHB-PCFB Hybrid Quasi-Delay Insensitive Circuits
PCHB-WCHB-PCFB 類延遲非敏感混和電路合成
Shin-Yann Ho
何欣諺
(M.S., 2014)
Email: shinyannho@gmail.com
Thesis Title :
Automatic Test Patter Generation for Delay Defects Using Timed Characteristic Functions
應用時間特徵函式之針對延遲缺陷自動測資產生方法
Ruei-Yang Huang
黃瑞陽
(M.S., 2014)
Email: b97901166@ntu.edu.tw
Thesis Title :
Polynomial evaluation through biochemical reaction in equilibrium
透過平衡態生化反應之多項式取值
Ping-Han Tsai
蔡秉翰
(M.S., 2014)
Email: b979010210@ntu.edu.tw
Thesis Title :
A QBF-Based Recompiler for Code Generation on Erroneous Processors and Beyond
執行於含錯處理器程式之修復編譯器
Chien-Yen Kuo
郭建言
(M.S., 2013)
Email: r00943145@ntu.edu.tw
Thesis Title :
Symmetry Encoding of Multi-valued Functions
多值函式之對稱性編碼
Ko-Lung Yuan
袁克倫
(M.S., 2013)
Email: dokelung@gmail.com
Thesis Title :
Multiset Constraint Solving and Its Applications
多重集約束求解及其應用
Shuo-Ren Lin
林碩紝
(M.S., 2013)
Email: r00943080@ntu.edu.tw
Thesis Title :
Simplification of Quantified Boolean Formula Certificates
量化布林代數認證之化簡
Yi-Ting Chung
鍾逸亭
(M.S., 2012)
Email: q82465@gmail.com
Thesis Title :
Accelerating Functional Timing Analysis with Simplified Timed Characteristic Functions
以簡化之時間特徵函式加速功能性時序分析之方法
(R&D Engineer @ Synopsys)
heng-Shen Han
韓承駪
(M.S., 2012)
Email: hankf4@gmail.com
Thesis Title :
A Study of Gaussian Elimination on Boolean Satisfiability and Craig Interpolation
高斯消去法在布林可滿足性問題和克雷格內插法的探討
Tsung-Po Liu
劉宗博
(M.S., 2012)
Email: ABert0210@gmail.com
Thesis Title :
Software workarounds for hardware errors by Instruction patch synthesis
以軟體指令補丁合成法修正硬體錯誤
Chi-Yun Cheng
鄭棋勻
(M.S., 2012)
Email: b93209006@ntu.edu.tw
Thesis Title :
Robust Arithmetic Computation with Chemical Reactions
運用化學反應實作穩健算術運算之研究
Fu-Rong Wu
吳阜融
(M.S., 2012)
Email: r97943159@ntu.edu.tw
Thesis Title :
Uncovering the Bursting Phenomenon of Gene Transcription in Prokaryotes
解析原核生物基因轉錄之驟發現象
Bing-Yuan Chen
陳炳元
(M.S., 2011)
Email: r98943148@ntu.edu.tw
Thesis Title :
High-Level Synthesis of Finite-Field Arithmetic Circuits Using Abstract Algebra
質數體上算術數據通路的高階合成
(R&D Engineer @ Global Unichip 創意電子)
Men-Yan Li
李孟彥
(M.S., 2011)
Email: b92901052@ntu.edu.tw
Thesis Title :
Pseudo-Boolean Constraint Formulation of Symmetry Boolean Encoding for Multi-Valued Function
利用虛擬布林規劃求解多值函式之對稱性布林編碼
Chi-Fan Lai
賴之凡
(M.S., 2010)
Email: b92705013@ntu.edu.tw
Thesis Title :
Boolean Matching with Abstraction and Dynamic Learning
利用抽象化及動態學習之布林比對
(Military Service, 2010-2011)
Chia-Chao Rodion Kan
甘家兆
(M.S., 2009)
Email: r95943160@ntu.edu.tw
Thesis Title :
Active IC Metering through Self-Protection
以自我防護機制為基礎的主動式積體電路量測技術
(R&D Engineer @ SpringSoft 思源)
Ruei-Rung Li
李瑞榮
(M.S., 2009)
Email: r95943156@ntu.edu.tw
Thesis Title :
Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving
運用內插法及求解可滿足性之大型布林函數二元分解法
(Military Service, 2009-2010)
Ricky Hsuan-Po Lin
林炫伯
(M.S., 2009)
Email: r96943076@ntu.edu.tw
Thesis Title :
Large Scale Ashenhurst Decomposition via SAT Solving and Craig Interpolation
利用可滿足性求解法與克雷格內插法之大尺度亞氏函式拆解
(Engineer @ IBM)
I-Hsin Chen
陳一心
(M.S., 2009)
Email: r95943159@ntu.edu.tw
Thesis Title :
Don't-Care Computation via Adjustable Interpolation
利用可調整內插法計算邏輯無關項
(Graduate Student @ University of Southern California)
Sz-Cheng Season Huang
黃思誠
(M.S., 2008)
Email: r95943156@ntu.edu.tw
Thesis Title :
A Dynamic Accuracy-Refinement Approach to Timing Driven Technology Mapping
延遲導向技術映射之動態準確度精進法
(R&D Engineer @ Synopsys 新思)
Wei-Lun Hung
洪偉倫
(M.S., 2008)
Email: b91076@csie.ntu.edu.tw
Thesis Title :
Inductive Equivalence Checking and Relation Determinization via SAT Solving
運用可滿足性求解之歸納式等同驗證與關係確定
(PhD Student @ University of Texas, Austin)
Hong-Yuan Lin
林鴻源
(M.S., 2007)
Email: cvtoee@yahoo.com.tw
Thesis Title :
Low Power FPGA Optimization by Voltage Scaling and Body Biasing
運用於低功率FPGA之電壓調降及基體偏壓最佳化技術
(R&D Engineer @ AUO 友達)
Chung-Min Alex Li
李崇閔
(M.S., 2007)
Email: r94943150@ntu.edu.tw
Thesis Title :
Effective FSM Initialization Using Structural and State Based Reset
有限狀態機之整合初始化技術
(R&D Engineer @ SpringSoft 思源)
Roderick Bloem (Graz University of Technology, Austria)
Robert Brayton (UC Berkeley, USA)
Yao-Wen Chang (National Taiwan University, Taiwan)
Dah-Wei Chiou (National Taiwan University, Taiwan)
Francois Fages (INRIA, France)
Georg Hofferek (Graz University of Technology, Austria)
Chien-Nan Liu (National Central University, Taiwan)
Alan Mishchenko (UC Berkeley, USA)
Tiziano Villa (University of Verona, Italy)
Nina Yevtushenko (Tomsk State University, Russia)