Published numerous papers in the fields of Software Engineering, Machine Learning, and Security, with some receiving best paper awards or being selected for oral presentations.
Research Experience
Neubauer Family Assistant Professor at the Department of Computer Science, The University of Chicago; Published papers in multiple international conferences, covering areas such as fuzzing, performance constraint synthesis, static analysis, etc.
Education
PhD in Computer Science from Columbia University
Background
Research interests include Security, Software Engineering, and Machine Learning, with a focus on automated code reasoning to improve the security and reliability of software systems. Aims to develop intelligent systems that can understand code semantics and precisely reason about program behaviors.
Miscellany
Particularly interested in self-motivated students with backgrounds in Security or Software Engineering, especially those with experience in Program Analysis or Reverse Engineering, or a solid background in Machine Learning.