Blog posts

2024

2023

Paper accepted at VMCAI 2024

less than 1 minute read

Published:

Our paper «Model-Guided Synthesis for LTL over Finite Traces» is accepted at VMCAI 2024.

Moshe @Beijing

less than 1 minute read

Published:

My postdoc advisor Moshe Vardi, the professor at Rice University, visited Tsinghua University during Sept. 23 - 30.

IDAS 2023 @Wuhan

less than 1 minute read

Published:

Attend IDAS 2023 held in Wuhan, China.

CAV 2023 @Paris

less than 1 minute read

Published:

Our paper «Searching for i-good lemmas to accelerate safety model checking» was accepted and presented at CAV 2023.