Location: Ohio, USA
    Remote: Yes but prefer hybrid
    Willing to relocate: Yes
    Technologies: OOP (C#, C++, Java), FP (Haskell, OCaml, Lisp), Coq, Rust, Javascript, MVC, Python/TensorFlow
    Email: abagnalla (at) gmail (dot) com
    Site: bagnalla (at) github (dot) io
    CV: Email me

I'm receiving my PhD in Computer Science this month. My research was about formal verification (in Coq) of a probabilistic programming compiler pipeline, and I'll be at PLDI'23 in June to present a paper based on it. I specialize in PL/compilers (in my most recent internship I designed and implemented a special-purpose compiler for the Go programming language), but I'm also a general programming enthusiast with experience in machine learning, 3D graphics, web development, and low-level performance hacking. I've taught undergraduate-level classes on PL and compilers, and have prior publications related to algorithmic game theory and machine learning verification/security (see my web site). I have a knack for learning new languages/frameworks in depth and writing high-quality code. I have a humble personality but I'm not afraid of difficult problems and a healthy amount of uncertainty.

Feel free to shoot me an email if you need a compiler engineer (or perhaps something else -- I'm open to other possibilities) with strong CS/math fundamentals.