bagnalla

    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.

"it's a collection of hand-crafted algorithms. No machine learning is involved."

Verification of machine learning models, especially w.r.t. robustness to so-called "adversarial examples" [1], is a major research topic at the moment. There are certainly people worrying about it in the machine learning community, but it appears to be a very difficult problem.

[1] https://arxiv.org/abs/1312.6199

I've thought about using this Lisp interpreter to bootstrap a compiler for a new language, probably targeting HolyC. If someone were to write some decent lexer/parser generator tools in HolyC it would go a long way in making something like that possible.

HolyC is great -- default arguments and built-in exception handling are big pluses over C. There are a few shortcomings, though, such as the lack of short-circuiting logical operators and some unfortunate behavior related to variable declarations within nested scopes (just avoid doing that IMO).