bio

Kaushik Mallik is an assistant research professor at the IMDEA Software Institute located in Madrid, Spain. His research interests are broadly in formal verification and correct-by-construction design of software systems. He is the recipient of the 2024 Ramón y Cajal fellowship, funded by the Spanish Ministry of Science, Innovation and Universities (MICIU). His notable honors include the 2023 ETAPS Doctoral Dissertation Award, the Runner-Up Best Paper Award in KDD 25, and nominations for best paper awards in several top-tier formal methods conferences like HSCC, TACAS, and CONCUR. 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.