People

Herman Venter

Research Engineer

I was a CS Professor in Port Elizabeth, South Africa, then migrated to Microsoft in Redmond, eventually ending up in Microsoft Research, working on compilers and verification. I moved to Facebook and worked on taint analysis for Hack and a partial evaluator for JavaScript. I’m now working on a static analyzer for Rust.

Interests

Abstract interpretation, rust verification