Yong Li’s (李勇) Homepage

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

Education

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