About Herman Venter
Herman is a software developer in the Redmond laboratory of Microsoft Research. He joined Microsoft in 1998 as a software developer for Visual Studio, working on the JScript and JScript .NET compilers. Since then he has worked on compiler toolkits, Comega, Spec# and VerifiedC.