Conal Elliott
Mentor at Self-employed
San Andreas, California, United States
Summary
👤
Senior🎓
Top SchoolConal Elliott is a veteran researcher and mentor with 24+ years designing elegant, correctness-focused software and hardware, blending deep theory with practical systems engineering. He invented the paradigm now known as functional reactive programming and has pioneered partial-evaluation techniques and DSL compilers that target GPUs and custom hardware. His recent work applies generative, hardware-friendly parallel algorithms and seeks a more rigorous foundation for machine learning, with Agda as his primary research language and 25+ years of Haskell expertise. Conal has led research at Microsoft, architected media and 3D systems at Sun, and built Haskell-to-hardware compilers at Tabula, while mentoring engineers and teaching denotational design. An active contributor to the Agda standard library, he brings uncommon breadth across PL theory, optimizing compilation, and graphics, plus a long-standing commitment to clarity, simplicity, and creativity. Based in San Andreas, CA, he invites collaborators to play and learn via his public GitHub collaboration hub.
24 years of coding experience
19 years of employment as a software developer
BA Math, BA Math at U.C. Santa Barbara, College of Creative StudiesBachelor of Arts (B.A.) Mathematics, Bachelor of Arts (B.A.) Mathematics at UC Santa BarbaraPhD Computer Science, PhD Computer Science at Carnegie Mellon University
Stackoverflow
18,567reputation
928kreached
44answers
0questions
functional-programming
top-1%
terminology
top-1%
monads
top-5%
reactive-programming
top-1%
semantics
top-1%
io
top-5%
Github Skills (30)
structures10
struct10
programming-language10
agda10
algebra10
proof10
terminology10
semantics10
standard-library10
functional-programming10
c-library10
common-library10
reactive-programming10
data-structure9
artificial-intelligence9
Programming languages (12)
Github contributions (5)
agda/agda-stdlib
Oct 2020 - Nov 2021
The Agda standard library
Role in this project:
Back-end Developer
Back-end DeveloperContributions:7 reviews, 6 commits, 2 PRs in 1 year 1 month
Contributions summary:Conal primarily contributed to the `agda-stdlib` repository by implementing algebraic structures and morphisms, specifically focusing on near-semirings, semirings, rings, and lattices. Their work included defining and relating various algebraic structures, such as magma, monoid, and group morphisms. They also made modifications to existing modules and introduced new properties for existing data structures within the Agda standard library, including properties for Fin data types.
dependent-typesagdahomotopy-type-theorystandard-library
conal/ordinal-gitit-plugin
Nov 2010 - Apr 2018
Contributions:4 commits, 1 push in 7 years 5 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.