Hello, I'm
Huang Ssu-Wei
NTU electrical engineering graduate and master's student in Integrated Circuit Design Automation, focused on EDA, Formal Verification, SAT/SMT Solvers, and AI-assisted Verification. I also build AI tools, contribute to open source, and make games.
/ Career
Education, research, teaching, and leadership highlights.
M.S. Student, Integrated Circuit Design Automation
National Taiwan University
Graduate student in the Graduate Program of Integrated Circuit Design and Automation, College of Key Technology, advised by Prof. Chung-Yang (Ric) Huang. My research interests include EDA, formal verification and SAT/SMT, with a focus on workflows where an LLM proposes lemmas, invariants or predicates and formal tools check their correctness.
Intern (Technical-Engineering)
Synopsys Taiwan — TPG, HW-assisted Verification
Developed Python parsing and cross-referencing pipelines to consolidate debugging logs into HTML reports, then built an LLM debug plugin. The integrated agent identified the root cause in a team-provided demo case. Also improved parallel processing and input boundary handling, with tests to verify the results.
Open-source Contributor
HAPI Open-source Project
Contributed to a remote platform for AI coding agents, including Copilot CLI integration, dictation, conversation actions, and session and permission fixes. These contributions have been merged upstream.
Teaching Assistant, System-on-Chip Verification
National Taiwan University
Teaching assistant for the System-on-Chip Verification course, supporting coursework around verification concepts, tooling, and problem solving.
B.S. in Electrical Engineering
National Taiwan University
Studied electrical engineering with selected coursework in data structures and algorithms, cryptography and information security, EDA, SoC verification, quantum design automation, digital system design, and game design. TOEIC score: 860.
High School Science Class
Taipei Municipal Chien Kuo Senior High School
Attended the Science Class at Chien Kuo Senior High School and served as an academic officer in the computer club, helping organize academic activities and outings.
High School Research Project
Academia Sinica, Institute of Information Science
Worked with Associate Research Fellow Lun-Wei Ku on fake news detection using BERT during high school research training.
Junior High · Gifted Weekend Program
New Taipei Municipal Haishan High School, Junior High Division
Attended the junior high division of Haishan High School and participated in its gifted weekend program.
Elementary School
Jisui Elementary School, Zhonghe District, New Taipei City
Attended Jisui Elementary School and joined a maker program in fifth and sixth grade, exploring 3D drawing, Arduino, and hands-on projects.
Vice President
NTU Game Design Club
Served as vice president of the NTU Game Design Club, combining technical interests with game design, community building, and project coordination.
M.S. Student, Integrated Circuit Design Automation
National Taiwan University
Graduate student in the Graduate Program of Integrated Circuit Design and Automation, College of Key Technology, advised by Prof. Chung-Yang (Ric) Huang. My research interests include EDA, formal verification and SAT/SMT, with a focus on workflows where an LLM proposes lemmas, invariants or predicates and formal tools check their correctness.
Intern (Technical-Engineering)
Synopsys Taiwan — TPG, HW-assisted Verification
Developed Python parsing and cross-referencing pipelines to consolidate debugging logs into HTML reports, then built an LLM debug plugin. The integrated agent identified the root cause in a team-provided demo case. Also improved parallel processing and input boundary handling, with tests to verify the results.
Open-source Contributor
HAPI Open-source Project
Contributed to a remote platform for AI coding agents, including Copilot CLI integration, dictation, conversation actions, and session and permission fixes. These contributions have been merged upstream.
Teaching Assistant, System-on-Chip Verification
National Taiwan University
Teaching assistant for the System-on-Chip Verification course, supporting coursework around verification concepts, tooling, and problem solving.
B.S. in Electrical Engineering
National Taiwan University
Studied electrical engineering with selected coursework in data structures and algorithms, cryptography and information security, EDA, SoC verification, quantum design automation, digital system design, and game design. TOEIC score: 860.
High School Science Class
Taipei Municipal Chien Kuo Senior High School
Attended the Science Class at Chien Kuo Senior High School and served as an academic officer in the computer club, helping organize academic activities and outings.
High School Research Project
Academia Sinica, Institute of Information Science
Worked with Associate Research Fellow Lun-Wei Ku on fake news detection using BERT during high school research training.
Junior High · Gifted Weekend Program
New Taipei Municipal Haishan High School, Junior High Division
Attended the junior high division of Haishan High School and participated in its gifted weekend program.
Elementary School
Jisui Elementary School, Zhonghe District, New Taipei City
Attended Jisui Elementary School and joined a maker program in fifth and sixth grade, exploring 3D drawing, Arduino, and hands-on projects.
Vice President
NTU Game Design Club
Served as vice president of the NTU Game Design Club, combining technical interests with game design, community building, and project coordination.
/ Featured Projects
Selected research prototypes, competition results, open-source contributions, and practical tools.
/ Games
Game jam and campus games, with official project pages and playable links.
/ Contact Me
Reach out by email or LinkedIn to discuss research, engineering projects, open-source collaboration, or game development.