Kaushik Mallik

Kaushik Mallik is an Assistant Professor at the IMDEA Software Institute in Madrid, Spain. His research focuses on formal methods for Cyber-Physical Systems (CPS), algorithmic fairness in AI, and combinatorial game theory. He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and has been recognized with the 2023 ETAPS Doctoral Dissertation Award.

Education:

• B.Tech in Electrical Engineering, Meghnad Saha Institute of Technology, 2012
• M.Tech in Systems and Control, IIT Roorkee, 2015 (with DAAD-funded research at TU Berlin)
• PhD in Computer Science, MPI-SWS, 2022

Research Interests:

• Verification & synthesis of CPS controllers
• Bidding games and algorithmic game theory
• Runtime fairness monitoring for AI systems
• Symbolic control for stochastic systems

Awards:

• 2023 ETAPS Dissertation Award
• CONCUR 2024 Best Paper Nomination
• IIT Master-Sandwich-Programme DAAD Scholarship (2014)

Current Projects:

• Developing fairness shields for AI decision-making systems
• Advancing bidding game theory for CPS control
• Runtime verification frameworks for dynamic fairness

His work bridges formal methods with emerging AI challenges, focusing on verifiable safety and ethical algorithm design. Tools like Mascot-SDS and BOCoSy reflect his contributions to practical controller synthesis.