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.
/ 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.
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.
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.
/ Tech Stack
Breakdown of my technical skills, categorized by domain and proficiency
Programming Languages
Verification & EDA
AI & Algorithms
Game & Tools
Languages
/ Contact Me
Feel free to reach out. I'm always open to discussing new projects and opportunities.