Kaushik Mallik

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

prof_pic.jpg

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 research motto is to develop algorithms and design principles for making AI safe and trustworthy. I work on problems that encompass subjects like formal methods, game theory, control theory, and machine learning. See research for further details.

In December 2024, I am going to join the IMDEA Software Institute in Madrid as an assistant research professor. There will be open research internship and PhD positions. If you like my research and would like to join my team, please send me your CV along with a few sentences describing how your interests and expertise align with mine.

news

Sep 13, 2024 Our paper titled Bidding Games with Charging was nominated for the best paper award at CONCUR 2024.
Jun 27, 2023 Check out my interview at the ETAPS blog.
Apr 26, 2023 My PhD thesis won the 2023 ETAPS doctoral dissertation award.

selected publications

  1. Bidding Games with Charging
    Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, and 1 more author
    In CONCUR, 2024
    Nominated for the best paper award at CONCUR 2024   :trophy:
  2. Runtime Monitoring of Dynamic Fairness Properties
    Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, and 1 more author
    In FAccT, 2023
  3. Symbolic Control for Stochastic Systems via Parity Games
    Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and 1 more author
    Nonlinear Analysis: Hybrid Systems, 2024