Active Hiring

Our team currently has multiple positions for PostDocs, research assistants and research interns. If you are interested in a position (PostDoc/research assistant/research intern) in our group, feel free to drop me an email and have a chat.

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 and interest in mathematics, logic, and more importantly love doing research.