Madhavan Venkatesh, a postdoctoral scholar in the Foundations of Algorithmic Verification group, has been selected for the prestigious IIT Kanpur Outstanding PhD Thesis Award for his doctoral research on Algorithmic Arithmetic Geometry. Congratulations Madhavan! Read more: https://cse.iitk.ac.in/
MPI-SWS Scientific Director Rupak Majumdar has been awarded an ERC Advanced Grant worth approximately €2.5 million for his project „Pascal: Formal Performance Analysis at Scale“. The project aims to develop new mathematical foundations and practical tools for analyzing and verifying the performance and resilience of large-scale distributed computer systems. Whether…
The ACM Special Interest Group on Programming Languages (SIGPLAN) has awarded their 2026 Distinguished Service Award to MPI-SWS Scientific Director Derek Dreyer. The award citation reads as follows: Derek Dreyer has set an exemplary standard of service within the PL community. Throughout the years, Derek has served in almost every…
MPI-SWS researchers Travis Hance, Laila Elbeheiry, and Derek Dreyer--along with their collaborator Yusuke Matsushita--have received a PLDI 2026 Distinguished Paper Award for their paper "VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System." At PLDI this year, only 10 papers were given this award out of…
MPI-SWS researchers Tung Phung and Adish Singla, jointly with colleagues from the University of Michigan, the University of Minnesota and Microsoft, have received a Best Paper Award at the 57th ACM Technical Symposium on Computer Science Education (SIGCSE TS 2026), for their paper titled Closing the Loop: An Instructor-in-the-Loop AI Assistance System for Supporting…
