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

Europe

Germany

Kaiserslautern, Berlin, Munich, Heidelberg, Freiburg, Cologne, Koblenz, Cochem, Düsseldorf, Karlsruhe, Frankfurt, Saarbrücken, etc.

Switzerland

Bern, Zurich, Lucerene, Interlaken

France

Paris, Marseille, Strasbourg

Sweden

Stockholm, Malmö, Lund

Austria

Vienna, Salzburg, Hallstatt

Italy

Venice, Udine

Netherlands

Amsterdam, Giethoorn

Spain

Barcelona

Hungary

Budapest

Slovakia

Bratislava

Luxembourg

Czech Republic

Prague

Denmark

Copenhagen

Norway

Oslo

London

Asia

India

Bhubaneswar, Mumbai, Delhi, Chennai, Kolkata, Bangalore, Hyderabad, Visakhapatnam, Surat, Tirupati, Amritsar, Gangtok, Raipur, etc.

Hong Kong (China)

Hong Kong

Macao (China)

Macao

North America

USA

New York, Los Angeles, Houston, Santa Monica, San Antonio, Pasadena, Niagara Falls

Canada

Montreal, Niagara Falls

Africa

Morocco