Research/Areas of Interest
Programming Languages, Formal Methods, Software Engineering
His research focuses on the scientific and engineering foundations of programming and software systems. His work develops programming languages and tools that help people build software that is correct, safe, and efficient. His scholarly work regularly appears in flagship programming languages (POPL, PLDI, OOPSLA, ICFP) and software engineering conferences (ICSE, FSE), and has been recognized with ACM SIGPLAN Distinguished Paper awards.
Education
- PH.D. in Computer Science, Purdue University West Lafayette, West Lafayette, United States, 2023
- M.S. in Computer Science, University of Utah, Salt Lake City, United States, 2017
- B.S. in Management Information Systems, China University of Geosciences, Beijing, China, 2015
Biography
Guannan Wei is a tenure-track Assistant Professor of Computer Science at Tufts University, joining in August 2025. He was previously a postdoctoral researcher at INRIA and École Normale Supérieure in Paris, and received his Ph.D. in Computer Science from Purdue University.