Published:
My collaborator, Professor Ofer Strichman from Technion, Israel, was invited to give a lecture titled ‘SAT/SMT - The Engines of Reasoning’ at the 20th International Summer School held at East China Normal University in Shanghai from July 9 to 12, 2024.
Published:
Our paper «Avoiding the Shoals - A New Approach to Liveness Checking» is accepted at CAV 2024.
Published:
I was invited as a PC member at ATVA 2024.
Published:
I was invited as a PC member at CAV 2024.
Published:
Our paper «Model-Guided Synthesis for LTL over Finite Traces» is accepted at VMCAI 2024.
Published:
My postdoc advisor Moshe Vardi, the professor at Rice University, visited Tsinghua University during Sept. 23 - 30.
Published:
Attend IDAS 2023 held in Wuhan, China.
Published:
Our paper «Searching for i-good lemmas to accelerate safety model checking» was accepted and presented at CAV 2023.