He has been obsessed with protocols and compilers since
high school. He reverse-engineered ICQ and X11 protocols, coded in OCaml
for 15+ years, and graduated with a doctoral degree from the University of
Pennsylvania on security protocols and compiler verification .
Stephen was a researcher at Microsoft Research, a senior infrastructure
engineer at Google, and a principal engineer on search ranking at Apple. He
founded the mobile search Spotsetter with institutional venture capital; Apple later acquired