Joseph Eremondi
Assistant Professor at University of Regina
Regina, Saskatchewan, Canada
Summary
👤
Senior🎓
Top SchoolJoseph Eremondi is an Assistant Professor at the University of Regina specializing in programming languages and the theory of computation, with 12 years of experience bridging deep theory and practical compilers. His work applies automata and computability results to automated program verification, and he focuses on analysis and optimization of functional programs using type-and-effect systems and dependent-type tools like Agda, Idris, and Lean. He completed a PhD at UBC and held a Royal Society Newton International Fellowship at Edinburgh, bringing a strong academic pedigree to applied language research. An active open-source contributor, he has improved stability in the Haskell ecosystem via Stackage and added realistic compiler benchmarks to the Elm compiler, showing a taste for both infrastructure-level reliability and pragmatic performance evaluation. Notably, his early and ongoing work probes the limits of computability with models such as reversal-bounded counter automata, connecting classical formal language problems to modern verification challenges.
12 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at The University of British ColumbiaMaster's Degree, Computing Science, Master's Degree, Computing Science at Utrecht UniversityBachelor's Degree, Computer Science (Honours) and Mathematics (4-year), High Honours, Bachelor's Degree, Computer Science (Honours) and Mathematics (4-year), High Honours at University of Saskatchewan
English
Stackoverflow
8,249reputation
374kreached
14answers
143questions
Github Skills (19)
dependency-management10
benchmark10
package-management10
benchmarking10
elm10
compiler-compiler10
compiler10
haskell10
data-structure9
data-structures9
pattern-matching8
functional-programming8
theorem-proving6
hakyll6
version-control6
Programming languages (19)
Github contributions (5)
elm/compiler
Feb 2014 - Aug 2015
Compiler for Elm, a functional language for reliable webapps.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:47 commits, 17 PRs, 38 comments in 1 year 7 months
Contributions summary:Joseph primarily contributed to the Elm compiler by adding new benchmarks and tests to assess performance. Their work focused on evaluating different language features and data structures. They implemented benchmarks for records, tuples, ADTs, pattern matching, and conditional expressions. Additionally, the user integrated a real-world TodoMVC benchmark to evaluate the compiler's performance in a practical context.
functional-languageelmreliablecompilerwebapps
commercialhaskell/stackage
Dec 2014 - Dec 2014
Stable Haskell package sets: vetted consistent packages from Hackage
Role in this project:Back-end Developer
Back-end DeveloperContributions:6 commits, 5 comments in 6 days
Contributions summary:Joseph contributed to the `stackage` repository by modifying the Haskell package set configurations. Their commits involved adding, removing, and updating dependencies within the `Stackage/Config.hs` file. These changes include adding packages needed for projects like Elm and Haskelm, adjusting dependencies related to transformers and other libraries, and merging updates from the fpco master branch. This work directly impacts the stability and compatibility of the Haskell package sets provided by stackage.
incrementalpackage-setshaskellconsistenthackage
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.