General Information

Full Name Kaushik Mallik
Date of Birth 12th June 1990
Languages Bengali (native), English (fluent), Hindi (medium-fluent), German (basic)
Emails kaushik.mallik (at), kmallik314 (at)

Academic Interests

  • Formal methods in computer science.
    • Algorithmic design of reactive systems (reactive synthesis).
    • Correct-by-construction design of cyber-physical systems.
  • Fairness in machine learning.
    • Runtime monitoring of fairness using statistical methods.


  • 2022
    PhD in Computer Science.
    Max Planck Institute for Software Systems, Kaiserslautern, Germany.
    • Thesis: Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems.
    • With summa cum laude.
  • 2015
    M. Tech. in Systems and Control.
    IIT Roorkee, Roorkee, India.
    • Thesis title: Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems using Deterministic Context-Free Specification Languages.
    • With first division with distinction, ranked first in the department.
  • 2012
    B. Tech. in Electrical Engineering.
    Meghnad Saha Institute of Technology, Kolkata, India.


  • 2022 - present
    Institute of Science and Technology Austria, Austria.

Honors and Awards

  • 2023
    • ETAPS Doctoral Dissertation Award.
  • 2015
    • Late Smt. Uma Goyal W/O Sri Uday Shankar Goyal Memorial cash prize for obtaining the highest CGPA in M.Tech. in Electrical Engineering Department at IIT Roorkee.
  • 2014
    • DAAD (Deutscher Akademischer Austausch Dienst) IIT Master Sandwich Scholarships for carrying out M.Tech dissertation in TU-Berlin.
  • 2013 - 2015
    • Scholarship from the Ministry of Human Resource Development (MHRD) India for pursuing M.Tech.
  • 2008
    • Scholarship from MHRD India for outstanding result in Higher Secondary Examination.

Invited Talks

  • 2021
    • A Negotiation Framework for Distributed Reactive Synthesis, in the workshop Games and Equilibria in System Design and Analysis, at the Simons Institute for the Theory of Computing, Berkeley, USA.

Academic Internships

  • 2019
    • University of California Berkeley, USA.
    • Advised by Claire Tomlin.
    • Worked on abstraction-based controller synthesis for black-box systems.
  • 2015
    • MPI-SWS, Germany.
    • Advised by Rupak Majumdar.
    • Worked on compositional controller synthesis using finite abstractions.
  • 2014
    • TU Berlin, Germany.
    • Advised by J ̈org Raisch and Anne-Kathrin Schmuck.
    • Worked on compositional controller synthesis for discrete-event systems.


  • Mascot-SDS.
    • Controller synthesis for discrete-time continuous-state stochastic dynamical systems.
  • Fairsyn
    • Computing winning strategies in two-player fair-adversarial games on finite graphs.
  • Mascot.
    • Lazy abstraction-based controller synthesis for continuous dynamical systems.
  • Agnes.
    • Assume-guarantee distributed synthesis for interacting reactive systems.

Teaching Experiences

  • 2019
    • Logic and verification seminar, TU-Kaiserslautern (teaching assistent).
  • 2017
    • Complexity theory, TU-Kaiserslautern (teaching assistent, occassionally took lectures).

Mentoring of Bachelor's and Master's Students

  • Kyle Hsu
  • Mehrdad Zareian
  • Tamajit Banerjee
  • Mateusz Rychlicki
  • Mahyar Karimi

Mentoring of Phd Students

  • Konstantin Kueffner
  • Ehsan Goharshady
  • Mahyar Karimi

Other Professional Roles

  • Conference committee member.
    • HSCC 2021, Posters/Demos, TACAS 2024, Artifact Evaluation Committee.
  • Journal reviewer.
    • Automatica (2023), Elsevier NAHS (2020-21, 2023x2), IEEE L-CSS (2020, 2023x2), Wiley RNC (2023), IEEE OJ-CSYS (2022), IEEE TAC (2018), SIAM SICON (2018), Springer DEDS (2018).
  • Conference reviewer.
    • ECC 2022, CDC 2017-20, ACC 2019, ECC 2019.
  • Conference sub-reviewer.
    • FSTTCS 2020, HSCC 2018-19, ATVA 2019, CAV 2019.