Contact

• Office: No. 616, Room 339, Building 5
• Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
• email: liyong###ios**ac*cn or liyong460###gmail**com

About me

I am currently a Ph.D. student in the group. My main research interests are:

• Probabilistic Model checking
• Linear Temporal Logic
• Algorithmic Learning

If you are also interested in those topics, please be free to contact me.

Tools

• Regular Omega Language Learning (ROLL)
• Complementing Büchi automata by Learning

Education

• 9/2015 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
• 9/2013 – 6/2015: Master Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
• 9/2009 – 6/2013: Computer Science and Technology (Bachelor’s degree) at Nanjing University of Posts and Telecommunications

Research stays

• Aug. 22, 2017  – Sept. 6, 2017: Institute of Information Science,  Academia Sinica
• May 17, 2017  – May 31, 2017: Institute of Information Science, Academia Sinica
• Feb. 1, 2016  – Feb. 15, 2016: Dependable Systems and Software Group, Universität des Saarlandes
• Oct. 17, 2015 – Jan. 31, 2016: Software Modelling and Verification Group, RWTH Aachen

Activities

• Apr. 24 – Apr. 28, 2017: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems  (TACAS 2017), Uppsala, Sweden (Talked about learning Büchi automata)
• Dec. 28 – Dec. 29, 2016: Colloquium on Logic in Engineering Dependable Software (LEDS 2016), Shanghai, China (Talked about learning Büchi automata)
• Nov. 9 – Nov. 11, 2016: 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2016), Beijing, China (Talked about Parametric MC synthesis against PLTL )
• Oct. 17 – Oct. 19, 2016: 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016), Copenhagen, Denmark (Talked about model checking fairness)
• Dec. 6 – Dec. 9, 2015: Dagstuhl seminar on Formal Evaluation of Critical Infrastructures, Dagstuhl, Germany (Talked about model checking fairness)
• Oct. 12 – Oct. 15, 2015: 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015), Shanghai, China
• Nov. 23 – Nov. 29, 2014: The Sino-German Workshop on Computation and Reasoning with Constraints, Beijing, China