NIAN-ZE LEE
李念澤
Loading...
| Organization | Role |
Assistant Professor |
Tel
+886-2-3366-3642
Email
nzlee@ntu.edu.tw
Scopus Author ID
Research Interests
Formal Methods
Software Engineering and Program Verification
EDA and Hardware Model Checking
Confidential Computing and Firmware Analysis
AI for Formal & Formal for AI
Satisfiability Solving
Organization
| Organization | Major | Role | Start | End |
National Taiwan University | Graduate Institute of Electronics Engineering | Ph.D. | September 1, 2015 | June 1, 2021 |
Organization
| Organization | Dept | Title | Start |
National Taiwan University | Department of Electrical Engineering | Assistant Professor | February 1, 2025 |
Organization
| Organization | Dept | Title | Start | End |
Ludwig-Maximilians-Universität München | Department of Computer Science | Post-Doctoral Fellow | October 1, 2021 | December 31, 2024 |