Skip to content

Files

Latest commit

Nov 14, 2023
5f35134 · Nov 14, 2023

History

History
50 lines (32 loc) · 3.36 KB

index.md

File metadata and controls

50 lines (32 loc) · 3.36 KB
layout permalink image
page
/
images/back.jpeg

I am a US-equivalent tenure-track Assistant Professor leading the IS2 Lab at School of Control Science and Engineering, Zhejiang University, Hangzhou, China.

Experience

I was a research fellow with Prof. Dong Jin Song at School of Computing, National University of Singapore (2019.04-2020.06). Before that, I was a research fellow with Prof. Sun Jun at the pillar of Information Systems Technology and Design, Singapore University of Technology and Design (2018.04-2019.04), where I received my Ph.D. in March 2018. I obtained my B.E. in Information Engineering from Xi’an Jiaotong University in July 2013.

Research Interest

In general, my research aims to build more safe and secure intelligent systems or software with the help of formal methods or software engineering techniques. Currently, I am particularly interested in the following research topics:

  • Testing, verification and repair of artificial intelligence (AI) systems;
  • Verification of concurrent reactive systems, e.g., OS kernels and industrial control systems;
  • AI-assisted modeling and verification of security protocols;
  • Other related topics like fuzzing, symbolic execution, runtime monitoring, etc.

Collaborations are warmly welcome from both academia or industry!

Vacancies

I am actively 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 and find any of the above research topics interesting. 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 9-350, if you wish to have a talk.

Hobbies

  • I play badminton regularly;
  • I love to play DOTA2 and PES when I have the time;
  • I love football and am a fan of Leo Messi, GOAT!

Contact

wangjyee at gmail dot com