(he/him) My name sounds vaguely like the email subject line "Re: odd," but that's just a coincidence.
I'm a postdoctoral researcher working on designing and building secure hardware and software systems. I like to think about questions like "how can we build trustworthy chips?" and "how can we build operating systems that resist subversion by malicious hardware?" I've recently been focusing on proof systems and cryptography.
Next year, I will be joining Carnegie Mellon University as an assistant professor, and I will be looking for PhD students! If you are interested in research related to cryptography, security, and software or hardware systems, we might be a good fit. I strongly recommend applying to both the ECE and CS PhD programs, and of course please feel free to send me an email.