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 adminstering 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 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.