Miscellaneous
I am co-organizing a students talk series OFCOURSE, on the theory of verification and synthesis. If you are a PhD student and would like to give a talk, please get in touch.
Movies and TV Shows
I watch a lot of TV shows (and movies) in my free time. I’m always looking for good recommendations, and if you’d like some suggestions, here is a list of TV shows rated by me. Also, here is a list of Hindi web series I have watched.
Countries I have visited
India
Bhubaneswar, Mumbai, Delhi, Chennai, Kolkata, Bangalore, Hyderabad, Visakhapatnam, Surat, Tirupati, Amritsar, Gangtok, Raipur, etc.
Germany
Kaiserslautern, Heidelberg, Freiburg, Munich, Cologne, Koblenz, Cochem, Düsseldorf, Karlsruhe, Frankfurt, Saarbrücken, etc.
United States
New York, Los Angeles, Houston, Santa Monica, San Antonio, Pasadena
France
Paris, Marseille, Strasbourg
Austria
Vienna, Salzburg, Hallstatt
Switzerland
Lucerene, Zurich
Italy
Venice, Udine
Netherlands
Amsterdam, Giethoorn
Spain
Barcelona
Hungary
Budapest
Slovakia
Bratislava
Luxembourg
Luxembourg
Czechia
Prague
United Kingdom
London