Nian-Ze Lee

Nian-Ze Lee is an Assistant Professor at the Department of Electrical Engineering of National Taiwan University, leading the Formal Methods and Analysis for Computing and Engineering Laboratory (ForMACE Lab). He is also a Guest Professor affiliated with the Software and Computational Systems Lab (SoSy-Lab) at Ludwig-Maximilians-Universität München (LMU Munich), Germany. He holds a Ph.D. in Electronics Engineering from National Taiwan University (2021). His research focuses on formal methods, hardware and software verification, and circuit-based analysis.

Education:

• Ph.D. in Electronics Engineering, National Taiwan University (2021)

Research Interests:

• Formal methods for hardware and software systems
• Model checking and verification frameworks
• Circuit-based program verification (e.g., Btor2C translator)
• Algorithm selection for verification tools

Awards:

• ACM SIGSOFT Distinguished Paper Award (2025)
• Best Artifact Award (2024)
• DFG Grant for Bridging Hardware and Software Analysis (2024)

Advising & Grants:

• Supervises Ph.D./Master’s students on topics like algorithm selection and verification frameworks
• Recipient of DFG grant enabling collaboration between NTU and LMU Munich

Labs/Teams:

• ForMACE Lab (NTU) – Focuses on formal methods and system analysis
• SoSy-Lab (LMU) – Collaborations on verification tools and frameworks