I am currently an Asistant Researcher at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences. Besides this, I am also a virtual Postdoctoral Researcher working with Prof. Moshe Y. Vardi at Rice University. I gained a Ph.D. in Computer Software and Theory at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, advised by Prof. Lijun Zhang. Prior to that, I recevied a B.S. in Computer Science and Technology at Nanjing University of Posts and Telecommunications. My research interests are, but not limited to, the following:

• Model checking

• Logic and Automata

• Synthesis

Contact

Address: No. 616, Room 339, Building 5, South Fourth Street 4#, Zhong Guan Cun, Beijing

Email: liyong###ios##ac#cn or liyong460###gmail##com