Kaushik Mallik

About

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

I am also a PhD candidate at 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.

Contact

ISTA
Am Campus 1,
3400 Klosterneuburg,
Austria

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

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:

Supervised Bachelor's/Master's Students

Professional Activities