李念澤 Nian-Ze Lee
Dr. Nian-Ze Lee is an Assistant Professor in the Department of Electrical Engineering at National Taiwan University (NTUEE), a position he has held since February 2025, and a Guest Professor ("Gastprofessor") at the Institute of Informatics, LMU Munich, Germany. He earned his Ph.D. in Electronics Engineering from NTU in 2021, where he was selected as an honorary member of the Phi Tau Phi Scholastic Honor Society. His dissertation on stochastic Boolean satisfiability received the prestigious Lam Research Thesis Award. From 2021 to 2024, Dr. Lee was a Postdoctoral Researcher at LMU Munich, Germany, focusing on formal methods and their practical applications in software engineering and EDA. His work has been recognized at top-tier international conferences and earned several awards, including an ACM SIGSOFT Distinguished Paper Award and a Best Artifact Award at FSE 2024, a Best Paper Award at SPIN 2024, and a Distinguished Artifact Award at TACAS 2024. As of 2025, he leads multiple research projects as a principal investigator, including a DFG-funded research project and an Intel-funded collaboration.