Travel


Academic Travels

The most fun part of doing research is possibly getting the opportunity to travel to many new places. Here are some places I will travel/have travelled to attend conferences and workshops, and to visit academic institutes and research labs.

Upcoming Travels

October 15, 2017 - October 20, 2017 Seoul, South Korea ESWeek 2017

Past Travels

July 19, 2017 - July 21, 2017 Bangalore, India CyPhySS 2017
July 18, 2017 Bangalore, India DRDO CAIR
May 15, 2017 - May 19, 2017 Dagsthul, Germany Dagstuhl seminar on Formal Synthesis of Cyber-Physical Systems
May 5, 2017 Kolkata, India DRDO JBCCAT
April 18, 2017 - April 21, 2017 Pittsburgh, USA CPSWeek 2017
March 17, 2017 - March 18, 2017 Bangalore, India Ericson R&D
December 16, 2016 - December 17, 2016 Kaiserslautern, Germany UC Berkeley
December 12, 2016 - December 14, 2016 Las Vegas, USA CDC 2016
May 23, 2016 - July 10, 2016 Kaiserslautern, Germany MPI-SWS
April 15, 2016 - April 17, 2016 Vienna, Austria RiSE Spring School on Logic and Verification
April 11, 2016 - April 14, 2016 Vienna, Austria CPSWeek 2015
October 5, 2015 - October 8, 2015 Amsterdam, Netherlands ESWeek 2015
September 28, 2015 - October 2, 2015 Kaiserslautern, Germany MPI-SWS
June 20, 2015 - June 22, 2015 Cambridge, USA ExCAPE Annual Meeting, MIT
June 15, 2015 - June 19, 2015 Redmond, USA Microsoft Research
April 22, 2015 - April 24, 2015 Redmond, USA Microsoft Research
April 13, 2015 - April 16, 2015 Seattle, USA CPSWeek 2015
April 6, 2015 - April 8, 2015 Kanpur, India Indian Institute of Technology Kanpur
April 5, 2015 - April 6, 2015 Mumbai, India Indian Institute of Technology Bombay
March 30, 2015 - March 31, 2015 Bangalore, India Indian Institute of Science
March 13, 2015 - March 14, 2015 Chicago, USA University of Illinois, Chicago
October 28, 2014 - November 8, 2014 Berkeley, USA Terraswarm Annual Meeting, UC Berkeley
September 14, 2014 - September 18, 2014 Chicago, USA IROS 2014
March 24, 2014 - March 25, 2014 Kaiserslautern, Germany MPI-SWS
March 17, 2014 - March 21, 2014 Dagsthul, Germany Dagstuhl seminar on Verification of Cyber-Physical Systems
March 13, 2014 - March 14, 2014 Washington DC, USA NSF 2014 Young Professional Workshop on Exploring New Frontiers in Cyber-Physical Systems
January 19, 2014 - January 25, 2014 Philadelphia, USA University of Pennsylvania
December 10, 2013 - December 13, 2013 Florence, Italy CDC 2013
December 1, 2013 - December 4, 2013 Philadelphia, USA University of Pennsylvania
November 20, 2013 - November 22, 2013 Houston, USA ExCAPE Robotics Workshop 2013
September 29, 2013 - October 4, 2013 Montreal, Canada ESWeek 2013
August 10, 2013 Philadelphia, USA ExCAPE NSF Site Visit, University of Pennsylvania
June 10, 2013 - June 15, 2013 Berkeley, USA ExCAPE Summer School
May 22, 2013 - May 24, 2013 San Francisco, USA ICSE 2013
May 3, 2013 Portland, USA Galois, Inc.
April 12, 2013 Princeton, USA NEC Labs
April 8, 2013 - April 11, 2013 Philadelphia, USA CPSWeek 2013
March 25, 2013 Beijing, China Institute of Software, Chinese Academy of Science
March 28, 2013 - March 29, 2013 Shanghai, China Shanghai Tech University
December 6, 2012 Hydrabad, India IIIT Hydrabad
October 7, 2012 - October 12, 2012 Tampere, Finland ESWeek 2012
August 27, 2012 - August 31, 2012 Paris, France FM 2012
June 11, 2012 - June 12, 2012 Munich, Germany Fortiss GmbH
May 14, 2012 - May 18, 2012 St. Paul, USA ICRA 2012
October 26, 2011 Bangalore, India GM India Science Labs
October 9, 2011 - October 14, 2011 Taipei, Taiwan ESWeek 2011
April 11, 2011 - April 14, 2011 Chicago, USA CPSWeek 2011
October 28, 2010 - October 29, 2010 Tempe, USA, Arizona State University
October 24, 2010 - October 27, 2010 Scottsdale, USA ESWeek 2010
December 14, 2009 - December 18, 2009 Kolkata, India ICISS 2009
December 1, 2009 - December 4, 2009 Washington DC, USA RTSS 2009
September 8, 2009 - September 11, 2009 Oxford, UK NSPW 2009
April 13, 2009 - April 17, 2009 San Francisco, USA CPSWeek 2009
September 10, 2007 - September 14, 2007 London, UK SEFM 2007
March 5, 2007 - March 7, 2007 Kolkata, India ICCTA 2007
January 7, 2007 -January 13, 2007 Bangalore, India Comsware 2007
December 27, 2006 - December 30, 2006 guwahati, India ICDCN 2006
September 11, 2006 - September 15, 2006 Pune, India SEFM 2006
July 3, 2006 - July 6, 2006 Guwahati, India Formal Methods Update 2006
April 11, 2006 - April 13, 2006 Bangalore, India WOCN 2006


Color Codes
  green: attended the conference/workshop and presented a paper
  red: attended the conference/workshop but did not present a paper
  blue: visited the institute/research lab and gave a talk
  magenta: visited the institute/research lab but did not give a talk




Other Travels

My wanderlust also took me to many other places

May 2017 Simla, Manali in India
June 2016 Black forest, Konstanz lake and Neuschwanstein Castle in Germany, Rheinfall and St. Gallen in Switzerland, Lechaschau in Austria
June 2016 Paris, France
May 2015Haifa, Tel Aviv, Jerusalem, Eilat, Makhtesh Ramon in Israel
July 2014New York City, New York, USA
April 2013Niagra Falls, New York, USA
April 2013New York City, New York, USA
November 2012 Trier, Germany
October 2012 Helsinki, Finland
May 2012 Amsterdam, Netherlands
December 2011 Paris, France
August 2011 17 miles drive, California, USA
August 2011 Yosemite, California, USA
May 2011 Black forest, Konstanz lake and Neuschwanstein Castle in Germany, Vaduz in Liechtenstine, Davos in Switzerland, Merano in Italy, Innsbruck in Austria
May 2011 Heidelbarg, Germany
May 2011 Stuttgart, Germany
April 2011 Frankfurt, Germany
October 2010 Phoenix, Arizona, USA
September 2010 Santa Cruz, California, USA
August 2010 Lake Tahoe, California, USA
September 2008 Singapore