Prospective Students

I am always looking for self-motivated students from various background to work with me on pushing the boundary of formal methods towards building more trustworthy AI and more secure systems. Our group encourages high-quality research with theoretical depth or practical impact to the broad audiences like formal methods, software engineering, AI/ML and security.

Prerequisites. An ideal PhD candidate should have a strong background in mathematics, logic, programming, and more importantly love doing research.

Research Positions

If you are interested in a research position (PostDoc/research assistant/research intern) in our group, feel free to drop me an email with CV.