AeroLeads people directory · profile
Joel Allred Email & Phone Number
Chief Executive Officer
at
Ayryx
LinkedIn matched
✓ Verified Jun 2026
3 data sources
Profile completeness 86%
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
14 roles · 21 years
Joel Allred work experience
A career timeline built from the work history available for this profile.
Founder
Founder
Current
Apr 2024 - Present
Engineering Manager
Jul 2022 - Oct 2023
Software Engineering Manager (Ai For Code)
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)
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
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
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
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
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
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
Substitute Teacher
Substitute teacher in Math and Physics. 7 weeks in total.
2007 - 2008
~1 yr
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.
Start free trial