Nian-Ze Lee

Nian-Ze Lee is an Assistant Professor at the Department of Electrical Engineering, College of Electrical Engineering and Computer Science, National Taiwan University, Taiwan, where they lead the Formal Methods and Analysis for Computing and Engineering Laboratory (ForMACE Lab). Additionally, Lee holds a position as a Gastprofessor (Guest Professor) affiliated with the Software and Computational Systems Lab (SoSy-Lab) at LMU Munich, Germany.

Lee's research focuses on formal methods, with particular expertise in model checking, program analysis, and electronic design automation. Their work bridges hardware and software verification, developing techniques that transfer methodologies between these domains. A significant portion of their research involves stochastic Boolean satisfiability and threshold logic circuits, with applications in both hardware and software verification.

Lee's recent publications demonstrate a strong trend toward developing cross-domain verification techniques, particularly focusing on how hardware model checking approaches can be adapted for software verification. Their work on interpolation-based model checking and configurable program analysis has received recognition through multiple best paper and artifact awards at top-tier conferences.

• ACM SIGSOFT Distinguished Paper Award (FSE 2024)
• Best Artifact Award (FSE 2024)
• Distinguished Artifact Award (TACAS 2024)
• Best Paper Award (SPIN 2024)

Lee has secured research funding including a grant from the German Research Foundation (DFG) for the project 'Bridging Hardware and Software Analysis.' They actively maintain several software projects including Btor2C, Btor2-Cert, CPV, MoXIchecker, and contribute to CPAchecker and BenchExec. Lee is currently recruiting Ph.D., Master's, and Bachelor's students to work on formal methods research, with Ph.D. students potentially enrolled at LMU Munich through a DFG-funded project.