Here's a bit more detail...
I love reading about, thinking about, designing, building, and most of all, understanding operating systems, cryptosystems, and programming languages. I've worked on a range of projects in the past, from designing anomaly detection algorithms at Google, to developing new languages for programming robots at MIT, to working on operating systems that operate rockets and spacecraft at SpaceX.
I used to spend my time researching topics related to operating systems
and programming languages at Stanford while working on my PhD, and
I was at MIT before that. Now I'm working on something new in the
secure operating systems and compilers space.
uid=(SergioBenitez) gid=(______) groups=(stanford,mit,google,apple,spacex)