Kaushik Mallik

Postdoctoral researcher, ISTA, kaushik.mallik@ist.ac.at.


Institute of Science and Technology Austria

Am Campus 1,

3400 Klosterneuburg, Austria.

Hi! I am a postdoctoral researcher at the Institute of Science and Technology Austria (ISTA) in Klosterneuburg, Austria. My postdoc advisor is Prof. Thomas A. Henzinger. My primary research interest is in the correct design of safety-critical cyber-physical systems, specifically through scalable abstractions and formally verified synthesis algorithms. My other research interests include the development of tools for detecting and preventing algorithmic biases in machine-learned decision makers.

I finished my PhD in 2022 at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, under the supervision of Prof. Rupak Majumdar. The title of my PhD thesis is “Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems.” It won the 2023 ETAPS doctoral dissertation award.

You can have a look at my cv if you are interested to know more.


Apr 11, 2024 The paper on Auction-Based Scheduling appeared in ETAPS
Oct 19, 2023 New preprint on arXiv: Auction-Based Scheduling
Sep 30, 2023 New journal paper (NAHS): Symbolic control for stochastic systems via finite parity games
Jul 8, 2023 Accepted paper in RV 2023: Monitoring Algorithmic Fairness Under Partial Observations
Jun 27, 2023 Check out my interview at the ETAPS blog.
Apr 26, 2023 My PhD thesis won the 2023 ETAPS doctoral dissertation award.
Apr 22, 2023 Two upcoming papers in CAV 2023.

selected publications

  1. Auction-Based Scheduling
    Guy Avni, Kaushik Mallik, and Suman Sadhukhan
    In TACAS (3), 2024
  2. Runtime Monitoring of Dynamic Fairness Properties
    Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, and 1 more author
    In FAccT, 2023
  3. Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
    Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, and 2 more authors
    TheoretiCS, 2023
  4. Symbolic Control for Stochastic Systems via Parity Games
    Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and 1 more author
    Nonlinear Analysis: Hybrid Systems, 2024