Joel Allred
AeroLeads people directory · profile

Joel Allred Email & Phone Number

Chief Executive Officer at Ayryx
Location: Los Angeles, California, United States 14 work roles 8 schools
LinkedIn matched
✓ Verified Jun 2026 3 data sources Profile completeness 86%

Contact Signals

LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Role
Chief Executive Officer
Location
Los Angeles, California, United States
Company size

Who is Joel Allred? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Joel Allred is listed as Chief Executive Officer at Ayryx, a company with 1 employees, based in Los Angeles, California, United States. AeroLeads shows a matched LinkedIn profile for Joel Allred.

Joel Allred previously worked as Founder at Ayryx and Founder at Sagaswipe. Joel Allred holds Executive Mba, Business Administration And Management, General from University Of Warwick - Warwick Business School.

Company email context

Email format at Ayryx

This section adds company-level context without repeating Joel Allred's masked contact details.

Ayryx

Review company-level records connected to Joel Allred before choosing the right outreach path.

Profile bio

About Joel Allred

AI entrepreneur with 10 years industrial experience, including 7 years in engineering management. Creator of the SagaSwipe interactive AI audio adventure app. PhD in Formal Verification specializing in model checkers for critical systems. Former lead at Diffblue – AI for Code, where I co-developed a world-leading reinforcement learning-based test generator. Executive MBA from Warwick Business School.

Current workplace

Joel Allred's current company

Company context helps verify the profile and gives searchers a useful next step.

Ayryx
Ayryx
Chief Executive Officer
United States
Website
Employees
1
AeroLeads page
14 roles · 21 years

Joel Allred work experience

A career timeline built from the work history available for this profile.

Chief Executive Officer

United States

Founder

Los Angeles, CA, US

Founder

Current
Apr 2024 - Present

Engineering Manager

Miami, Florida, US

Jul 2022 - Oct 2023

Software Engineering Manager (Ai For Code)

Oxford, England, GB

Leading a high-performing engineering team to build a world-leading reinforcement learning-based unit test generator for Java.Mentoring Team Leads.Contributing to the team's workforce as Senior Java Developer.Contributing to R&D using rapid prototyping.Contributing to customer success by managing on-site integration.Supervising the ReleaseOps team.

Mar 2021 - Jul 2022

Software Development Team Lead (Ai For Code)

Oxford, England, GB

Leading a high-performing engineering team to build a SAT-based unit test generator.Contributing to the team's workforce as Senior Java Developer.Contributing to R&D using rapid prototyping.Contributing to customer success by solving on-site issues.

Aug 2017 - Feb 2021

Senior Software Engineer

Oxford, England, GB

Model-checking specialist.C++ engineer developing a Java unit test generator based on the CBMC model-checker (https://github.com/diffblue/cbmc).Contributed to engineering the string solver in CBMC.

Jan 2017 - Aug 2017

Formal Methods Engineer

Aix-en-Provence, Provence-Alpes-Côte d’Azur, FR

Contributed to the development of a high-performance SAT-based model checker (Systerel Smart Solver), that has been actively used in the railway and avionic industry for several years.Main activity: Development (mainly in C) of various core parts of the model checker (parsing, inlining, expansion, solving, user interface).Other responsibilities include.

Feb 2015 - Dec 2016

Research Assistant

Fribourg, Fribourg, CH

PhD thesis on automata on infinite structures.Development of a direct complementation construction for Büchi automata.As research assistant in the Foundations of Dependable Systems Research Group (University of Fribourg), we have developed one of the most efficient algorithms to date for complementing Büchi automata, thus improving formal verification.

Jun 2010 - Jan 2015

Junior Assistant

Fribourg, Fribourg, CH

Marketing of the Swiss Joint Master in Computer Science

Sep 2009 - Jun 2010

Musical Conductor

Jeune Garde De La Landwehr De Fribourg

Conducting band, supervising musical education, organising musical curriculum, co-ordination with La Landwehr, co-ordination with Ecole de Musique de La Landwehr.

Jan 2009 - Jul 2014

President Of Executive Board

Fribourg, FR, CH

President of Executive Board

Jan 2013 - May 2014

Web Designer, Administrator And Programmer

Freelance Web Designer (Self-Employed)

Creation of various web sites:escaliers‐mauron.chnemosquintet.chjgl.chscependes.chharmoniearconciel.chbrassbandfribourg.ch

2005 - 2012 ~7 yrs
8 education records

Joel Allred education

Executive Mba, Business Administration And Management, General

University Of Warwick - Warwick Business School

Doctor Of Philosophy - Phd, Computer Science

Université De Fribourg - Universität Freiburg

Master Of Advanced Studies, Higher-Level Teaching And Educational Technologies

Université De Fribourg - Universität Freiburg

Msc, Computer Science

Université De Fribourg - Universität Freiburg

Bsc, Computer Science & Mathematics

Université De Fribourg - Universität Freiburg

Management Training

Learnitect

Education record

Collège Ste-Croix

Advance - Scaling Leaders, Organizational Leadership

Tech Nation
FAQ

Frequently asked questions about Joel Allred

Quick answers generated from the profile data available on this page.

What company does Joel Allred work for?

Joel Allred works for Ayryx.

What is Joel Allred's role at Ayryx?

Joel Allred is listed as Chief Executive Officer at Ayryx.

Where is Joel Allred based?

Joel Allred is based in Los Angeles, California, United States while working with Ayryx.

What companies has Joel Allred worked for?

Joel Allred has worked for Ayryx, Sagaswipe, Anaplan, Diffblue, and Systerel.

How can I contact Joel Allred?

You can use AeroLeads to view verified contact signals for Joel Allred at Ayryx, including work email, phone, and LinkedIn data when available.

What schools did Joel Allred attend?

Joel Allred holds Executive Mba, Business Administration And Management, General from University Of Warwick - Warwick Business School.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.