News Archiv
Johannes Gehrke, a professor at Cornell University, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award will provide support for him to spend eight months in Germany, working with Peter Druschel and other MPI-SWS researchers on data-intensive distributed systems that make up the software infrastructure inside such large Web companies as Amazon, Yahoo! and Google.
Rupak Majumdar joins the institute’s faculty as a scientific director. Rupak’s research interests are in computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems; software verification and programming languages; and logic and automata theory.
Viktor Vafeiadis joins the institute’s faculty, starting in October 2010. Viktor’s research interests are in software analysis and verification, programming languages, programming logics, [...]
A study by MPI-SWS researchers Saikat Guha (now at Microsoft Research), Bin Cheng, and Paul Francis has been highlighted on CNN, NPR, The Washington Post, and [...]
Johannes Gehrke, a professor at Cornell University, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award will provide support for him to spend eight months in Germany, working with Peter Druschel and other MPI-SWS researchers on data-intensive distributed systems that make up the software infrastructure inside such large Web companies as Amazon, Yahoo! and Google.
226227228229230 ...
234»