Callan Mcgill
Language Engineer at Symbiont
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.
8 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Mathematics, Unfinished, Doctor of Philosophy - PhD, Mathematics, Unfinished at The University of SheffieldMaster's degree, Matheamtics, First Class Honours, Master's degree, Matheamtics, First Class Honours at University of Warwick
Stackoverflow
101reputation
0reached
0answers
0questions
Github Skills (159)
servant10
haskell10
binary-format10
hackage10
cabal10
byte10
8-bit10
bit10
codemod10
unicode10
strict10
theory9
union9
firacode9
bengali9
Programming languages (12)
Github contributions (5)
Boarders/perfect-vector-shuffle
Apr 2019 - Apr 2022
Library for performing shuffles on vectors
Contributions:60 commits, 4 PRs, 36 pushes in 2 years 11 months
vectors
Boarders/boarders.github.io
Sep 2019 - Aug 2023
Contributions:41 pushes, 1 branch in 3 years 11 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.