Callan Mcgill
Senior Research Engineer at Code Metal
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolCallan Mcgill is a Language Engineer based in New York with nine years of experience applying mathematical rigor and programming language theory to practical tooling and research software. He designs and implements language front-ends and diagnostics (currently for SymPL) and brings deep expertise in functional languages (Haskell, OCaml), proof assistants (Agda, Coq, Lean), type systems, and Rust for low-level work. His background includes original algorithmic contributions to phylogenetics and tree-search in bioinformatics, plus hands-on systems work like a Haskell-based build system and data serialization for scientific instruments. Callan is comfortable turning research ideas into production-quality code, optimizing and parallelizing complex Haskell codebases while keeping correctness and diagnostics central to his design.
9 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD Mathematics, Doctor of Philosophy - PhD Mathematics at The University of SheffieldMaster's degree Matheamtics, Master's degree Matheamtics at University of Warwick
Stackoverflow
101reputation
0reached
0answers
0questions
Github Skills (109)
haskell10
bytestring10
phylogenetics10
unicode10
bioinformatics10
comparative-genomics10
firacode9
proof-general9
hackage9
cabal9
hugo9
hugo-theme9
agda9
graph-algorithms9
indexed9
Programming languages (12)
Github contributions (5)
Boarders/boarders.github.io
Sep 2019 - Apr 2026
Contributions:44 pushes, 1 branch in 6 years 8 months
Boarders/emacs-Setup
Mar 2018 - May 2026
Contributions:10 pushes, 1 branch in 8 years 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.