Kaushik Mallik


Hi! I am a postdoc at ISTA (Institute of Science and Technology Austria) in Thomas A. Henzinger's group.

I completed my PhD in 2022 from MPI-SWS (Max Planck Institute for Software Systems), Germany. My PhD advisor was 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.


Am Campus 1,
3400 Klosterneuburg,

Email: <firstname>.<lastname>@ist.ac.at
Skype: kaushik_mallik

Research Interests

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

Phd Thesis

  Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems, 2022.

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