李念澤助理教授的個人資料 - Profile of Nian-Ze Lee

李念澤 Nian-Ze Lee

國立臺灣大學電機工程學系 助理教授
國立臺灣大學電子工程學研究所 助理教授
Assistant Professor, Department of Electrical Engineering, National Taiwan University
Assistant Professor, Graduate Institute of Electronics Engineering, National Taiwan University

主要研究領域:

形式方法、軟體工程與程式驗證、電子設計自動化與硬體模型檢查、機密運算與韌體分析、AI 與形式方法之相互應用、可滿足性求解

Major Research Areas:

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

研究領域摘要:

請參考計算工程之形式方法與分析實驗室 (ForMACE Lab) 網頁研究摘要。個人目前（2025年）共同主持兩個和德國慕尼黑大學軟體與計算系統實驗室的合作研究專案，分別由德國科學基金會（German Research Foundation, DFG）與Intel補助。 實驗室網頁研究摘要中列出的部份成果，是和該團隊共同取得。

Research Summary:

Please refer to the webpage of Formal Methods and Analysis for Computing and Engineering Laboratory (ForMACE Lab). I am a principal investigator of two joint research projects with the Software and Computational Systems Lab (SoSy-Lab) at LMU Munich, Germany. The two projects are funded by the German Research Foundation (DFG) and Intel, respectively. Some of the achievements listed in the research summary on the webpage of ForMACE Lab were obtained together with colleagues at SoSy-Lab.

Below are my ongoing research directions. For more details, please refer to ForMACE Lab.

Photo of Nian-Ze Lee

代表性著作 Selected Publication

  1. Dirk Beyer and Nian-Ze Lee, “The Transformation Game: Joining Forces for Verification,” Principles of Verification: Cycling the Probabilistic Landscape, Lecture Notes in Computer Science 15262, 175, Nov. 2024
  2. Dirk Beyer, Po-Chun Chien, Marek Jankola, and Nian-Ze Lee, “A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification,” Proceedings of the ACM on Software Engineering, 1, 2028, Jul. 2024
  3. Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, and Nils Sirrenberg, “Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers,” International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 129, 2024
  4. Dirk Beyer, Po-Chun Chien, and Nian-Ze Lee, “Augmenting Interpolation-Based Model Checking with Auxiliary Invariants,” International Symposium on Model Checking Software (SPIN), 227, 2024
  5. Dirk Beyer, Po-Chun Chien, and Nian-Ze Lee, “Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator,” International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 152, 2023
  6. Nian-Ze Lee and Jie-Hong R. Jiang, “Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty,” AAAI Conference on Artificial Intelligence, 3877, 2021
  7. Nian-Ze Lee and Jie-Hong R. Jiang, “Towards Formal Evaluation and Verification of Probabilistic Design,” IEEE Transactions on Computers, 67, 1202, Aug. 2018