user stats

Member SinceMay 10, 2007
Last VisitJanuary 15, 2013


coordinator for


developer for

Common Compiler Infrastructure - Code and AST components
Microsoft Research Boogie


personal statement

Stephan Tobies is a researcher and software developer at the European Microsoft Innovation Center (EMIC) in Aachen. He is currently working on the Mirosoft Research VCC tool, which is used to verify the Microsoft Hyper-V virtualization kernel as part of the VerisoftXT project.

activity stream

No activity in the last 60 days.