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

Past Travels

November 2, 2017 - November 5, 2017

Kharagpur, India

DST ICPS IoT Panel

October 15, 2017 - October 20, 2017

Seoul, South Korea

ESWeek 2017

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

July 23, 2014 - July 24, 2014

Washington DC, USA

NSF CPS Breakthrough Proposal Review Panel,

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 Codesgreen: 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