🔵 The newest assistant professor of the IMDEA Software Institute, Kaushik Mallik, comes from Kolkata, and is passionate about food, travel, and science and technologies.

🔎 His work is based in developing algorithmic design principles for CPS software that come with formal correctness guarantees and techniques that are faster, more modular, and can solve richer classes of problems compared to the existing approaches.

🌐 https://software.imdea.org/news/2024/12-31-kaushik-interview/

#imdea #imdeasoftware