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. It has been a while (four years) not seeing Moshe due to COVID-19, and it was really wonderful to meet him again in person!

pic1

pic2

pic3

pic4

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.