Prof. Dr. Holger Giese

Dr. Soumyadip Bandyopadhyay

System Analysis and Modeling Group

Hasso Plattner Institute for Digital Engineering
University of Potsdam
Prof.-Dr.-Helmert-Str. 2-3
14482 Potsdam, Germany

Phone: +49 (0)331 5509 363
Room:  A-2.11

Short Biography

Dr. Soumyadip Bandyopadhyay received the Ph.D degree in computer science and engineering from Indian Institute of Technology, Kharagpur in 2017. He had worked as a Junior Project Assistance in the VLSI Consortium project undertaken by the Advanced VLSI Design Laboratory, IIT Kharagpur from July 2008 to September 2012 and his current research interests include broadly formal methods in software engineering. He has published twelve research papers in different reputed IEEE/ACM/Springer/World scientific international journals and conferences.  He had received TCS Ph.D. Fellowship during his Ph.D.  He was working as a Visiting Faculty at BITS Goa campus from September 2015 to 5th December 2016. From 6th December, 2016 to 31st July, 2017,  he was working as an Assistant Professor in the same institute. From August 2017 to till 2018, he was working as a post doctoral fellow at System Analysis and Modeling group, Hasso Plattner Institute, Germany.

Research Interests

  • Formal Methods
  • Software Engineering
  • Graph Transformations

Scientific Activities

  • Sub reviewer CAV 2014
  • Sub reviewer EMSOFT 2015
  • Sub reviewer VDAT 2017
  • PC member ICSOFT 2018
  • PC member IWWCN 2017
  • Sub reviewer Modellierung 2018
  • PC member ICSOFT 2019
  • PC Member ISEC 2019

Awards and Funding

  • TCS PhD. Fellowship (2012-2015)
  • Microsoft Travel Grant for POPL 2015
  • Post doctoral fellowship by HPI (2017-2018)