🔵 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.
🔵 DISC'24 had 117 attendees from 21 countries, 45% of whom were students.
📋 The program of the symposium included the presentations of 39 accepted full papers and 16 brief announcements.
🏆 Two prizes were awarded to the best papers: “Lock-Free Augmented Trees” by Panagiota Fatourou and Eric Ruppert, and “Hyperproperty-Preserving Register Specifications” by Yoav Ben Shimon, Ori Lahav, and Sharon Shoham.
ℹ️ c.madrid/o10n7
🔵 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.
