Yong Li

Yong Li (李勇)

liyong

I am a Marie Skłodowska-Curie Research Fellow at Department of Computer Science, University of Liverpool. I am also an Associate Research Professor within the TIS group at SKLCS.

I received my Ph.D. degree at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences, advised by Prof. Lijun Zhang.

My main interests are in verification and automata theory.

Quick links to find me:

My contact address: Office 2.21, Ashton Building, Ashton St, Liverpool L69 3BX, UK



CV | Experience | Education | Honors | News | Publications


Work Experience

Marie Skłodowska-Curie Research Fellow, Oct. 2022 - present
Department of Computer Science, University of Liverpool.

Associate Research Professor, Oct. 2022 - present
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.

Research Assistant, April 2020 - Oct. 2022
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.

Education

Ph.D. in Computer Science, Sept. 2013 - Jan. 2020
University of Chinese Academy of Sciences (UCAS).

B.Sc. in Computer Science, Sept. 2009 - Jun. 2013
Nanjing University of Posts and Telecommunications (NJUPT).

Selected Awards and Honors

Best Paper Award at ATVA 2023 (paper)

Marie Curie Research Fellow 2022

News

October 30, 2023 Our paper titled “Model Checking Strategies from Synthesis Over Finite Traces” has won the Best Paper Award at ATVA’23.

July 1, 2023 Two papers are accepted by ATVA’23:

June 29, 2023 Our tool lisa has won the third place in the LTLf track at SYNTCOMP 2023!

June 28, 2023 Paper titled “Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata” accepted by CONCUR’23. This is joint work with Sven Schewe and Moshe Vardi.

Show More News

December 23, 2022
Paper titled "Modular Mix-and-Match Complementation of Büchi automata" accepted by TACAS'23.
This is joint work with Vojtěch Havlena, Ondřej Lengál, Barbora Šmahlíková, and Andrea Turrini.

September 6, 2022
Paper titled "Compositional Safety LTL Synthesis" accepted by VSTTE'22.
This is joint work with Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, and Shufang Zhu.

August 1, 2022
Excited to present joint work with Moshe on Büchi determinization at VardiFest to celebrate the pioneering role of Moshe Vardi in many fields.
My slide deck is available here.

July 8, 2022
Paper titled "Synthesizing Ranking Functions for Loop Programs via SVM" accepted by Theoretical Computer Science Journal.
This work extends our ICFEM'19 paper by utilizing SVM to learn multiphase ranking functions.

June 6, 2022
Check out our invited paper on Büchi complementation to Thomas Henzinger Festschrift - Conference celebrating his 60th birthday.

June 4, 2022
Submission to CAV-AE 2022 awarded Available and Reusable badges.

May 1, 2022
Paper titled "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition" accepted to CAV 2022. This is joint work with Andrea Turrini, Weizhi Feng, Moshe Vardi, and Lijun Zhang.

Publications