Stephan Tobies
I am a software design engineer at the European Microsoft Innovation Center in Aachen.
|
Projects: Currently, I am working on the VCC project. VCC is an automated, deductive verification tool for concurrent C code. The project is a collaboration between EMIC and the RiSE group at Microsoft Research in Redmond. |




