Ex-Googler at @google Maps, PhD @university-of-pennsylvania on compilers & security, MSc on algebraic geometry. Creator of a beautiful programming language, coding in OCaml everyday.
