Vacancies

I am always looking for self-motivated PostDoc/PhD/master/research assistants/research interns to work with me at ZJU. Feel free to drop me an email with CV if you are interested. Preferred PhD candidates should have a strong background in logic, mathematics or programming, and more importantly love doing research. For ZJU students, please walk in to my office at Lecture Building 10-6201, if you wish to have a talk.