🔵 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/
🔵 #NEWS | IMDEA Software researchers present MixBuy, a protocol for secure and privacy-preserving digital purchases.
🔎 MixBuy is the first cryptographic protocol that simultaneously ensures a secure digital purchase and hides the relationship between store and customer.
🔵 The IMDEA Software Institute organizes the International Symposium on DIStributed Computing (DISC) 2024 in collaboration with IMDEA Networks, and in cooperation with the European Association for Theoretical Computer Science.
📍Instituto de la Ingeniería de España, Madrid
📅 October 28th - November 1st
ℹ️ https://www.disc-conference.org/wp/disc2024/
🔵 #NEWS | IMDEA Software researcher @nikivazou and co-authors of "Refinement types for Haskell" Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, and Simon Peyton Jones received the test of time award at ICPF.
IMDEA Software Institute