Kaushik Mallik

About

Hi! I am a PhD student at MPI-SWS (Max Planck Institute for Software Systems), Germany. My advisor is Prof. Rupak Majumdar.

I completed B.Tech in Electrical Engineering from Meghnad Saha Institute of Technology (India) in 2012 and M.Tech in System and Control from Indian Institute of Technology, Roorkee (India) in 2015. During my M.Tech, I was visiting TU-Berlin (Germany) for one semester (winter 2014-15) to work on my master thesis under the supervision of Anne-Kathrin Schmuck and Prof. Jörg Raisch.

I did an internship at MPI-SWS with Prof. Rupak Majumdar for three months in 2015, before joining as a PhD student with him in 2016.

Contact

MPI-SWS
Paul-Ehrlich-Straße
Building G 26
D-67663 Kaiserslautern
Germany

Phone: +49 (0)631 9303 8527
Email: kmallik (at) m p i - s w s.org
Skype: kaushik_mallik

Research Interest

My research interests are in formal verification and control of dynamical systems, which are either continuous or discrete, stochastic or non-stochastic, and with a distributed or a monolithic structure. Please refer to my recent publications to know more.

Invited Talks

Publications

Preprints

Journals and Book Chapters

Invited Papers

Peer-reviewed Conferences and Workshops

External links:

Google Scholar | DBLP | Researchgate

* Papers with alphabetically sorted list of authors. If you are wondering why this is meaningful, check out this 2004 statement of American Mathematical Society.

Tools

Teaching

Assisted in teaching the following courses:

Professional Activities