Thomas Henzinger Receives ERC Advanced Grant

Thomas Henzinger is awarded this highly esteemed grant for the second time. The ERC grant will fund his research on software supervising software. →

Laura Kovács Receives ERC Consolidator Grant

The prestigious research grant is awarded to Laura Kovács by the European Research Council to fund her work on automated reasoning and formal verification. →

Distinguished Lecture Series

ViSP is offering a lecture series, where every month one internationally acclaimed researcher from the field of Security and Privacy gives a lecture on one of their research topics. Find the upcoming and past talks here. →