| About ALCom | News | People | Research | Publications | Tools | Student Info | Links |
Jie-Hong Roland Jiang
江介宏
Professor
Email: jhjiang@cc.ee.ntu.edu.tw
Homepage
Nai-Ning Chi
紀乃寧
Email: r10943153@ntu.edu.tw
Tian-Fu Chen
陳天富
Email: d11K42001@ntu.edu.tw
Shao-Ting Chung
鍾少庭
Email: r11943168@ntu.edu.tw
Yu-Wei Fan
范育瑋
Email: r11943096@ntu.edu.tw
Che Cheng
鄭澈
Email: r11943097@ntu.edu.tw
Kuo-Wei Ho
何國瑋
Email: r11943109@ntu.edu.tw
Yu-Hao Ko
柯昱豪
Email: r11943170@ntu.edu.tw
Yun-Rong Luo
羅韻瑢
Email: r10943108@ntu.edu.tw
Cheng-Han Liu
劉承瀚
Email: r11K41018@ntu.edu.tw
Chien-Kai Ma
馬健凱
Email: r11943106@ntu.edu.tw
Chia-Hsuan Su
蘇家軒
Email: r10943101@ntu.edu.tw
Ting-Yi Wu
吳亭儀
Email: your851123@gmail.com
Chun-Yu Wei
魏駿宇
Email: r10943092@ntu.edu.tw
Chiao-Shan Jhang
張喬善
Email: r11943169@ntu.edu.tw
He-Teng Zhang
張鶴騰
(Ph.D., 2022)
Email: d06943014@ntu.edu.tw
Shao-Yu Fang
方紹宇
(M.S, 2022)
Email: r09943099@ntu.edu.tw
Chang-Jun Wang
王菖浚
(M.S, 2022)
Email: r08943064@ntu.edu.tw
Thesis Title :
Reconfigurable Biochemical Circuit Synthesis from Biomachine Specification
藉由生物系統檢測合成可重組態的生化電路
Da-Yeh Wu
吳大業
(M.S, 2022)
Email: r09943147@ntu.edu.tw
Thesis Title :
Building Machine Learning Models in Biochemical Systems with Reduced Manual Interventions
在生化系統中構建減少人工干預之機器學習模型
Hao-Ren Wang
王皓仁
(M.S, 2022)
Email: r09943108@ntu.edu.tw
Thesis Title :
Quantifier Elimination in Stochastic Boolean Satisfiability
量詞消除應用於隨機布林可滿足性
Yu-Shan Huang
黃友杉
(M.S, 2022)
Email: r09943100@ntu.edu.tw
Thesis Title :
Circuit Learning with Neural Networks and Decision Graphs
基於神經網路與決策圖之電路學習
Cheng-Han Hsieh
謝承翰
(M.S, 2022)
Email: r08943154@ntu.edu.tw
Thesis Title :
Encoding Probabilistic Graphical Model Problems into Stochastic Boolean Satisfiability
以隨機布林可滿足性編碼機率圖模型之問題
Yuan-Hung Tsai
蔡沅宏
(M.S, 2021)
Email: r08943103@ntu.edu.tw
Thesis Title :
Bit-Slicing the Hilbert Space: Scaling Up Accurate Quantum Circuit Simulation and Verification
希伯特空間位元切片:精確量子電路模擬與驗證之規模擴展
Nian-Ze Lee
李念澤
(Ph.D., 2021)
Email: d04943019@ntu.edu.tw
Thesis Title :
Stochastic Boolean Satisfiability: Decision Procedures, Generalization, and Applications
論隨機布林可滿足性:決策程序、廣義化、與應用
Kuan-Hua Tu
杜冠樺
(Ph.D., 2021)
Email: isuis3322@gmail.com
Thesis Title :
Quantified Boolean Formula: Algorithms, Applications, and Extension to
Randomized Quantification
量詞布林公式: 演算法、應用、與隨機量詞延伸
Cheng-Lian Yang
楊承濂
(M.S, 2021)
Email: ycl910810@gmail.com
Thesis Title :
Bit-stream Compression of Stochastic Computing and its Implementation on
Convolution Deep Neural Network
隨機運算之位元壓縮及其在卷積神經網路中之應用與實作
Yen-Ting Lin
林彥廷
(M.S, 2020)
Email: r06943184@ntu.edu.tw
Thesis Title :
Symbolic Uniform Sampling with XOR Circuits
象徵性均勻採樣之於互斥或閘電路
Po-Chun Chien
錢柏均
(M.S, 2020)
Email: r07943091@ntu.edu.tw
Thesis Title :
Circuit Folding: From Combinational to Sequential Circuits
邏輯電路摺疊:由組合電路轉換至序向電路
Divya Jain
狄雅茵
(M.S, 2020)
Email: r07943158@ntu.edu.tw
Thesis Title :
Fairness Model in Neural Network Framework
神經網路架構下的公平模型
Yu-Chou Lin
林裕洲
(M.S, 2020)
Email: r07943099@ntu.edu.tw
Thesis Title :
Mining Biochemical Circuits from Enzyme Databases via Boolean Reasoning
透過布林推理從生物酵素資料庫探勘生物醫學電路
Meng-Yang Hsieh
謝孟洋
(M.S, 2019)
Email: r06943148@ntu.edu.tw
Thesis Title :
Synthesis Circuits
電路之合成
Zi-Jun Lin
林子鈞
(M.S, 2019)
Email: r06943152@ntu.edu.tw
Thesis Title :
Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits
重組酶基因電路之非確定行為合成
Chia-Chih Chi
綦家志
(M.S, 2019)
Email: r06943102@ntu.edu.tw
Thesis Title :
Logic Synthesis of Binarized Neural Network
二值化神經網路之邏輯合成
Yi-Fan Chang
張奕凡
(M.S, 2019)
Email: evan09900966@gmail.com
Thesis Title :
Resource-Aware Asynchronous Circuit Synthesis on FPGA and a Case Study of
Secure AES Design
FPGA資源感知下非同步電路之合成與安全AES設計之案例研究
Wei-Chih Huang
黃韋智
(M.S, 2019)
Email: s09930698@gmail.com
Thesis Title :
Biochemical Reaction Compilation of Mixed-Signal Programs
數位類比混合訊號程式之生化反應編譯
En-Yu Fan
樊恩宇
(M.S, 2019)
Email: r05943094@ntu.edu.tw
Thesis Title :
Convolutional Neural Network Pruning by Training-based Important Channel
Identification
卷積神經網路刪減使用以訓練為基礎之重要通道辨識
Li-Cheng Chen
陳立誠
(M.S, 2019)
Email: hank12322@gmail.com
Thesis Title :
A Cube Distribution Approach to QBF Solving and Certificate Minimization
藉積項分配為量化布林公式解決與認證最小化
You-Cheng Bai
白祐承
(M.S, 2019)
Email: danielpai1030@gmail.com
Thesis Title :
Charge Control Algorithm and Reliability Investigation of Reconfigurable Battery Array
可重組式電池組之充電策略與延伸架構可靠性探討
Shih-Yu Chen
陳識宇
(M.S, 2017)
Email: r04943150@ntu.edu.tw
Thesis Title :
Control Algorithm of Reconfigurable Battery Pack under Dynamic Loads
動態負載下可重組式電池組之控制演算法
Mei-Yan Chiu
邱美燕
(M.S, 2017)
Email: r04943089@ntu.edu.tw
Thesis Title :
Placement-Aware Layout Generation of One-Dimensional FinFET Standard Cells
考慮擺置效應之一維鰭式場效電晶體標準單位佈局產生
Hao-Yuan Kuo
郭皓元
(M.S, 2017)
Email: r04943084@ntu.edu.tw
Thesis Title :
Mapping Deep Neural Network for Efficient FPGA Implementation
深度神經網路於現場可程式化邏輯閘陣列之高效實作與轉換方法
Chun-Hong Shih
施淳浤
(M.S, 2017)
Email: r04943088@ntu.edu.tw
Thesis Title :
Generalization and Improvement of Static Performance Analysis for Asynchronous
Circuit Optimization
非同步電路優化靜態性能分析的泛化與改進
Tzu-Chien Hsu
徐子騫
(M.S, 2016)
Email: r02943082@ntu.edu.tw
Thesis Title :
Reconstructing and Utilizing Circuit Information in Quantified Boolean Formula Solving
電路資訊於量詞布林函數求解中的重建與使用
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
動態負載下的最佳化電池組合以及控制策略
Hung-En Wang
王宏恩
(M.S., 2016)
Email: b99901038@ntu.edu.tw
Thesis Title :
String Analysis with Logic Circuit Representation: Theory and Applications
利用邏輯電路表示式之字串分析法:理論及應用
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 :
Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits
重組酶基因電路之非確定行為合成
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
質數體上算術數據通路的高階合成
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)