Callan M.

I am a senior software engineer with extensive experience in Haskell, OCaml, C, C++, Prolog, Python, Scheme, Racket, R Studio, Coq, Agda, and Lean4 with an interest in all aspects of programming but a particular focus on functional programming, programming language theory, computability theory, programming language implementation, compilers, parsers, theorem provers, formal methods, probabilistic programming, amongst other things. I also have a background in mathematics research with a particular focus on category theory, probability theory, topology, and formal logic (type theory, predicate calculus, higher-order logic).