He graduated from Carnegie Mellon University with a Bachelor’s degree in Computer Science with Honors, a Minor in Mathematical Sciences, and a Concentration in Programming Languages and Logic. He is passionate about applying theoretical computer science foundations to practical software systems to solve real-world problems. In the past, he has worked on projects in Formal Methods, AI Systems, Computer Security, Programming Languages, and Computer Systems. He has used several languages and systems in my projects, such as C, SML, Python, Coq, F*, and Haskell.