Kaushik Mallik

Hi! I am a computer scientist broadly working on the foundations of dependable software decision-making systems. These systems can nowadays be found in almost all autonomous devices, starting from vacuum cleaning robots to healthcare products like automated insulin administering systems to autonomous power system management systems to airplanes and self-driving cars. As a large majority of these systems are safety-critical, they need to pass stringent safety criteria. I develop algorithms for verifying the correctness of existing software decision-makers, and for designing them in a way that they are provably correct. See research for further details.

Before joining the IMDEA Software Institute, I worked as a postdoctoral researcher at the Institute of Science and Technology Austria (ISTA) in Thomas A. Henzinger’s group, and before that, I did my PhD at the Max Planck Institute for Software Systems (MPI-SWS) in Rupak Majumdar’s group.

Open PhD positions: Together with Alessio Mansutti, I am looking for a motivated PhD student to work on our joint project on learning-enabled formal synthesis. Check out the details here. The deadline is September 30, 2026.