Newsroom

Nikhil Swamy (Microsoft), Cătălin Hrițcu (MPI-SP), and co-authors received the 2026 Most Influential POPL Paper Award for their 2016 paper, “Dependent Types and Multi-monadic Effects in F*”. more

more

Carmela Troncoso explains the problems with voluntary monitoring and mandatory age verification in the European Council's proposed Chat Control legislation  more

2025 Global Google PhD Fellowships recognize outstanding graduate students who are conducting exceptional and innovative research in computer science and related fields, specifically focusing on candidates who seek to influence the future of technology. more

New evidence reveals significant differences in how people understand and protect their digital security across the world more

Mukherjee will establish a research group focused on the foundations of data privacy. Her research is rooted in the design and analysis of privacy-preserving algorithms within theoretical computer science, while also engaging with questions about fairness, accountability, and societal implications of AI systems and machine learning. more

The new method is efficient, fast and inexpensive. This means that it could help moderators in the fight against disinformation on Telegram. more