Kaushik Mallik


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.


Building G 26
D-67663 Kaiserslautern

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



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.



Assisted in teaching the following courses:

Supervised Bachelor's/Master's Students

Professional Activities