bio

Kaushik Mallik is a postdoctoral researcher at the Institute of Science and Technology Austria (ISTA). 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).