Members

Supervisor

吳凱強

給新生：
I supervise each master/undergrad student (or team) in person,
and maintain an interactive discussion channel with my folks.

Looking for students who are
- motivated,
- willing to learn,
- willing to deliver high-quality research (see [研究方向] below for the topic of each member's project).

You are more than welcome to contact me or my students if interested in joining us!

Current Members

*** Contact us via e-mail (黃同學), or visit us at Room 633, Engineering Building #3 (工程三館633室)

	黃甯琪 (doctoral student, since Spring 2017; master student, 2015~2016) 研究方向：AI computing platform design, variable-latency design convergence (analysis and optimization) 關鍵技法：Approximate computing, performance/reliability analysis based on graph traversal
	黃緯滔 (part-time doctoral student, since Fall 2018) 研究方向：Cost-effective in-field aging repair/resilience/revival 關鍵技法：Boolean satisfiability (SAT), maximum satisfiability (MAX-SAT)
	顏家珩 (doctoral student, since Fall 2019) 研究方向：Outlier identification from the aspect of IC testing 關鍵技法：Stochastic regression, machine learning, deep learning
	劉恕民 (part-time doctoral student, since Fall 2019) 研究方向：Fault-tolerant deep-learning accelerator (DLA) design 關鍵技法：Neural network quantization
	周煥然 (master student, since Fall 2018) 研究方向：Acceleration of deep-learning applications 關鍵技法：Approximate computing
	柯劭函 (master student, since Fall 2018) 研究方向：Imperfection of spiking neural networks 關鍵技法：Reservoir computing
	楊承浩 (master student, since Fall 2018) 研究方向：Part average test 關鍵技法：Deep learning
	許賀傑 (master student, since Fall 2019) 研究方向：System level test 關鍵技法：Unsupervised learning
	楊旻學 (master student, since Fall 2019) 研究方向：Fault-tolerant deep-learning accelerator (DLA) design 關鍵技法：Neural network decomposition
	邱劭威 (master student, since Fall 2019) 研究方向：關鍵技法：
	劉嘉翔 (master student, since Fall 2019) 研究方向：Energy-efficient edge AI deployment 關鍵技法：Neural network remodeling
	蔡榮哲 (master student, since Fall 2019) 研究方向：Detection of hardware Trojan horses 關鍵技法：Machine learning
	李　易 (master student, since Spring 2020) 研究方向：關鍵技法：
	宋元堯 (master student, since Spring 2020) 研究方向：關鍵技法：
	王廷睿 (master student, since Fall 2020) 研究方向：關鍵技法：
	韓宇欣 (master student, since Fall 2020) 研究方向：關鍵技法：
	劉慶珉 (master student, since Fall 2020) 研究方向：關鍵技法：

*** Contact us via e-mail (黃同學), or visit us at Room 633, Engineering Building #3 (工程三館633室)

Alumni & Graduated Students

	曾威凱 (master student, 2017~2020) 研究方向：Acceleration of deep-learning applications 關鍵技法：Approximate computing 任職單位：
	黃礪鞍 (master student, 2017~2019) 研究方向：Cost-effective in-field aging repair/resilience/revival 關鍵技法：Maximum satisfiability (MAX-SAT) 任職單位：新思科技 (Synopsys)
	陳均騰 (master student, 2017~2019) 研究方向：Outlier identification from the aspect of IC testing 關鍵技法：Deep learning, stochastic regression 任職單位：瑞昱半導體 (Realtek)
	蔡佳旅 (master student, 2017~2019) 研究方向：Security-aware approximate computing 關鍵技法：Logic encryption/decryption 任職單位：益華電腦 (Cadence)
	陳建佑 (master student, 2016~2019) 研究方向：Detection of hardware Trojan horses 關鍵技法：Machine learning 任職單位：
	曾天鴻 (master student, 2016~2018) 研究方向：Making aging useful intentionally, hardware Trojan horses 關鍵技法：Boolean satisfiability (SAT), Monte-Carlo simulation 任職單位：瑞昱半導體 (Realtek)
	潘儀芳 (master student, 2016~2018) 研究方向：Security-aware power network design 關鍵技法：Graph connectivity analysis 任職單位：新思科技 (Synopsys)
	鄭昭尉 (master student, 2015~2018) 研究方向：Reliability-driven optimization for variable-latency designs 關鍵技法：Monte-Carlo simulation 任職單位：
	陳思穎 (master degree, 2015~2017) 研究方向：Acceleration of error-tolerant applications 關鍵技法：Approximate computing 任職單位：新思科技 (Synopsys)
	林淯晨 (master degree, 2015~2017) 研究方向：Security-aware power network design 關鍵技法：Graph connectivity analysis 任職單位：群暉科技 (Synology)
	張皓淳 (master degree, 2015~2017) 研究方向：Cost-effective in-field aging repair/resilience/revival 關鍵技法：Minimum set cover, exact cover 任職單位：益華電腦 (Cadence)
	俞光隆 (master degree, 2014~2017) 研究方向：Reliability-driven optimization for variable-latency designs 關鍵技法：Genetic algorithm (GA) 任職單位：大猩猩科技
	汪述聖 (master degree, 2014~2016) 研究方向：Security-aware clock network design, hardware Trojan horses 關鍵技法：Boolean satisfiability (SAT), regression analysis 任職單位：益華電腦 (Cadence)
	蔡長霖 (master degree, 2014~2016) 研究方向：Reliability-driven optimization for variable-latency designs 關鍵技法：Particle swarm optimization (PSO) 任職單位：聯發科技 (MediaTek)
	黃朝陽 (master degree, 2014~2016) 研究方向：Cost-effective in-field aging repair/resilience/revival 關鍵技法：Constrained Boolean satisfiability (SAT) based on sequential counters 任職單位：新思科技 (Synopsys)
	蔡言合 (undergrad research intern, 2014~2015) 研究方向：Aging-aware clock network design
	陳政瑜、郭上恩 (undergrad research team/interns, 2015~2016) 研究方向：Static timing analysis
	陳謹萱、蘇琬淇、羅宜平 (undergrad research team/interns, 2015~2016) 研究方向：Application of RFID for smart environments