Biography

I am a Software Engineer at Google. I am part of the SafeSearch team, we work on algorithms to hide undesired explicit content in Search results.

I did my PhD in Formal Methods (Computer Science) at IST Austria. My PhD advisor was Krishnendu Chatterjee. My PhD topic was verification of concurrent programs. During my PhD I interned three times at Google, twice in Mountain View and once in Zürich.