Barry Jay
Co-Founder at CongruentSearch
Sydney, New South Wales, Australia
Summary
👤
Senior🎓
Top SchoolBarry Jay is a co-founder and academic software-engineering researcher with over three decades of formal research experience and a decade of industry-facing work, combining deep theory with practical products. He invented pattern calculus, designed the Bondi programming language, and led CongruentSearch to deliver grammar-driven document search that achieved a 100x speedup in a Bing integration. As an associate professor at UTS he blends category-theoretic models of computation with hands-on toolbuilding and has a knack for turning formal insights into tangible systems. Recently authoring a book on Reflective Programming, he now seeks new challenges where rigorous semantics and high-impact engineering meet. Based in Sydney, he brings rare expertise spanning PhD-level mathematics, language design, and startup execution.
10 years of coding experience
The University of SydneyDoctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at McGill University
Github Skills (19)
combinations9
mojo8
sat-solver8
coq8
mathematical8
proof-assistant7
agda7
dependent-types7
idris7
proofs7
theorem-proving7
homotopy-type-theory6
abstraction6
stack-based6
executable6
Programming languages (1)
Github contributions (5)
Barry-Jay/Intensional-computation
Nov 2017 - Apr 2019
Contributions:59 commits, 2 PRs, 59 pushes in 1 year 5 months
combinationstranslationsabstractionlambda
Barry-Jay/bondi
Nov 2016 - Feb 2019
source code for the bondi programming language
Contributions:13 commits, 7 PRs, 26 pushes in 2 years 3 months
lazy-evaluationmojoprogramming-languagestack-basedidris
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.