ATVA 2024 PC member

less than 1 minute read

Published:

I was invited as a PC member at ATVA 2024.

ATVA is one of the most prestigious conference in formal methods, which I have been working for more than 10 years. I feel honored to be invited as a PC member there!

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 VMCAI 2024

less than 1 minute read

Published:

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