George's Page

Hello, world. I'm George.

I can be most easily reached using email: my-name@this-domain

Short bio

I am currently working on compilers for machine learning at Google. Previously, I was working as a Clang static analyzer software engineer at Apple. And even before that, I was a PhD student at Verimag, working on static analysis of programs using convex optimization.

Some Talks


I've been living in: πŸ‡ΊπŸ‡¦ β†’πŸ‡·πŸ‡Ί β†’πŸ‡¦πŸ‡Ί β†’πŸ‡«πŸ‡· β†’ πŸ‡ΊπŸ‡Έ