I'm Miguel, a software engineer at Google. I graduated from the Massachussetts Institute of Technology, where majored in pure mathematics (what we call Course 18), with a view towards algebraic topology. Besides topology, I'm interested in distrbuted systems, computer security, and practical computer language and compiler design.
While at MIT, I was Chair of the Student Information Processing Board, MIT's computing society. I spend a lot of time thinking about how to improve Rust, a language with interesting ideas about what can be checked by the compiler. I like to think of myself as an artist, mostly analog ink and pencil, digital painting, and TeX typesetting.