- Shanghai, China
- East China Normal University
- ResearchGate
- Github
- Google Scholar
- ORCID
You May Also Enjoy
Ofer @Shanghai
less than 1 minute read
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.
Paper accepted at CAV 2024
less than 1 minute read
Published:
Our paper «Avoiding the Shoals - A New Approach to Liveness Checking» is accepted at CAV 2024.
CAV 2024 PC member
less than 1 minute read
Published:
I was invited as a PC member at CAV 2024.
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.