user stats

Member SinceMay 10, 2007
Last VisitJanuary 15, 2013



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.