Barry Jay
Co-Founder at University of Technology Sydney
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 (10)
combinations10
abstraction8
coq7
theorem-proving6
lambda6
dependent-types6
proof-assistant6
programming-language6
algorithms5
calculus5
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
programming-language
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.