Ciarán Dunne
Postdoctoral Researcher at ENS Paris-Saclay
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolCiarán Dunne is a postdoctoral researcher in Paris with a decade of experience at the intersection of mathematics and computer science, specializing in formal methods, interactive theorem proving, and mathematical logic. He works actively with proof assistants and frameworks such as Dedukti, Lambdapi, and Isabelle, embedding SMT solver specifications and proofs into rigorous proof-checking environments. Comfortable across higher-order logic, dependent type theory, and set-theoretic foundations, he pairs deep theory with practical implementation in functional languages like OCaml and Haskell. His current INRIA-backed role in the Deducteam focuses on trustworthy automation of proofs, reflecting a knack for turning automated reasoning output into machine-verified mathematics. A First Class BS and PhD from Heriot-Watt underpin his research rigor, while his GitHub persona as an “enjoyer of set theory” signals a genuine intellectual curiosity that drives both foundational and engineering contributions.
10 years of coding experience
Heriot-Watt University Edinburgh Campus
Github Skills (47)
rewriting10
modulo10
arxiv10
text-editor9
satisfiability9
sat9
latex9
latexmk9
sat-solver9
calculus9
smt8
verification8
dependent-types8
rust-lang8
proof-assistant7
Programming languages (9)
Github contributions (5)
ultra-group/isabelle-gst
Apr 2022 - Jun 2022
Contributions:27 commits, 19 pushes, 2 branches in 1 month
ciaran-matthew-dunne/openceilidh
Oct 2023 - Mar 2025
Contributions:14 pushes, 1 branch in 1 year 4 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.