About me
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