stobies

user stats

Member SinceMay 10, 2007
Last VisitJanuary 15, 2013

Contact

coordinator for

VCC

developer for

Common Compiler Infrastructure - Code and AST components
Microsoft Research Boogie

stobies

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.