Jay McCarthy, PhD
Chief Scientist
PhD in Computer Science, Brown. Co-creator of the Racket programming language. 32 peer-reviewed publications.
Jay is the depth behind the work. PhD in Computer Science from Brown, fifteen years as a university professor, core contributor to the Racket programming language, co-founder and CTO of Reach (a smart contract platform built on formal verification). 32 peer-reviewed publications across the top venues in programming languages and security, co-author of 'The Racket Manifesto' and 'A Programmable Programming Language' in Communications of the ACM.
His career has been spent on one question: how do you prove that a piece of software does what you claim it does? At Swenor, that lens applies to engagements where 'usually correct' is not the bar. Agent systems in regulated industries. Code generation pipelines that touch production. AI in fintech, healthcare, compliance, and anywhere a wrong answer has real consequences.
Layer in the stack
Correctness