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. Research interests include EDA, formal verification, SAT/SMT solvers, and AI-assisted verification workflows.
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.
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.
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. Research interests include EDA, formal verification, SAT/SMT solvers, and AI-assisted verification workflows.
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.
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.
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 competitions, research directions, and engineering projects.
/ Games
Self-made games and prototypes published on itch.io.
/ Contact Me
Feel free to reach out. I'm always open to discussing new projects and opportunities.