I'm a senior at Carnegie Mellon studying Computer Science. My interests include compilers, numerical optimization, formal verification, and applied probability.
Technologies
CC++OCamlPythonMATLABJavaJavaScriptPyTorchCMakeDockerPVS
I'm a senior at Carnegie Mellon studying Computer Science. My interests include compilers, numerical optimization, formal verification, and applied probability.