I am a computer science researcher with a variety of interests, including programming languages and compilers, formal methods, theoretical cryptography, and machine learning. I completed my PhD in theoretical cryptography at Stanford, where I was fortunate to be advised by Dan Boneh. In my work, I am motivated by the desire to find elegant solutions and understandable explanations. I believe that teaching is a vital, albeit undervalued, component of the research process. I also hold many unpopular opinions, chief among them that moral philosophy is of great practical importance, and that AI alignment is by far the most important issue that humanity faces.
Selected publications