Kaushik Mallik

Assistant Research Professor, IMDEA Software Institute, kaushik.mallik@imdea.org

prof_pic.jpg

IMDEA Software Institute

Campus de Montegancedo s/n,

28223 Pozuelo de Alarcón, Madrid, Spain.

Hi! I am an assistant research professor at IMDEA Software Institute, Madrid, Spain. My main research objective is the development of 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.

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. Fairness Shields: Safeguarding against Biased Decision Makers
    Filip Cano, Thomas A Henzinger, Bettina Könighofer, and 2 more authors
    To appear in AAAI 25, 2024
  2. 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:
  3. Runtime Monitoring of Dynamic Fairness Properties
    Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, and 1 more author
    In FAccT, 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