bio

Kaushik Mallik is an assistant research professor at IMDEA Software Institute located in Madrid, Spain. His research interests are in the formal verification and design of reactive, hybrid, learning-based, and probabilistic systems. He received the 2023 ETAPS Doctoral Dissertation Award, nominations for best paper awards in HSCC, TACAS, and CONCUR, and a number of merit-based fellowships during his bachelor's and master’s studies. He holds B. Tech (2012) in Electrical Engineering from Meghnad Saha Institute of Technology (Kolkata), M. Tech (2015) in System and Control from IIT Roorkee, and PhD (2022) in Computer Science from Max-Planck Institute for Software Systems (Germany). Before joining IMDEA Software Institute, from 2022 to 2024, he worked as a postdoctoral researcher at the Institute of Science and Technology Austria (ISTA).