Graham Leach-Krouse
AeroLeads people directory · profile

Graham Leach-Krouse Email & Phone Number

Traversed the Curry-Howard Isomorphism and Survived at Draper
Location: Arlington, Massachusetts, United States 3 work roles 2 schools
LinkedIn matched
✓ Verified Jul 2026 3 data sources Profile completeness 86%

Contact Signals

LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Draper
Role
Traversed the Curry-Howard Isomorphism and Survived
Location
Arlington, Massachusetts, United States
Company size
1759 employees

Who is Graham Leach-Krouse? Overview

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

Quick answer

Graham Leach-Krouse is listed as Traversed the Curry-Howard Isomorphism and Survived at Draper, a with 1759 employees, based in Arlington, Massachusetts, United States. AeroLeads shows a matched LinkedIn profile for Graham Leach-Krouse.

Graham Leach-Krouse previously worked as Formal Methods Engineer at Draper and Associate Professor at Kansas State University. Graham Leach-Krouse holds Doctor Of Philosophy - Phd, Logic And The Foundations Of Mathematics from University Of Notre Dame.

Company email context

Email format at Draper

This section adds company-level context without repeating Graham Leach-Krouse's masked contact details.

Draper

Review company-level records connected to Graham Leach-Krouse before choosing the right outreach path.

View email format View company profile Management contacts
Profile bio

About Graham Leach-Krouse

Graham Leach-Krouse is a Traversed the Curry-Howard Isomorphism and Survived at Draper.

Current workplace

Graham Leach-Krouse's current company

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

Draper
Draper
Traversed the Curry-Howard Isomorphism and Survived
cambridge, massachusetts, united states
Website
draper.com
Employees
1759
AeroLeads page
Company profile
View company profile Email format
3 roles

Graham Leach-Krouse work experience

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

Formal Methods Engineer

Current
Draper

Cambridge, Massachusetts, United States

Aug 2023 - Present

Program Director, Integrated Computer Science

Kansas State University

Manhattan, Kansas, United States

Aug 2020 - Aug 2023
Team & coworkers

Colleagues at Draper

Other employees you can reach at draper.com. View company contacts for 1759 employees →

BV Brandon Vaz Brandon Vaz Colleague at DraperWorcester County, Massachusetts, United States View → JS Jennifer Santos Jennifer Santos Colleague at DraperWashington Dc-Baltimore Area, United States View → LA Luis Antonio Luyo Luis Antonio Luyo Colleague at DraperGreater Boston, United States View → RH Ryan Hannigan Ryan Hannigan Colleague at DraperNeedham, Massachusetts, United States View → TH Tara Hesemeyer Tara Hesemeyer Colleague at DraperMassachusetts, United States View → CO Christopher Obrien Christopher Obrien Colleague at DraperDerry, New Hampshire, United States View → BG Brian Guidry Brian Guidry Colleague at DraperSt Petersburg, Florida, United States View → TC Timmy Chen Timmy Chen Colleague at DraperQuincy, Massachusetts, United States View → AP Austin Pisecco Austin Pisecco Colleague at DraperCambridge, Massachusetts, United States View → MP Matthew Peña Matthew Peña Colleague at DraperGreater Boston, United States View →
2 education records

Graham Leach-Krouse education

Doctor Of Philosophy - Phd, Logic And The Foundations Of Mathematics

University Of Notre Dame

At Notre Dame, the Departments of Philosophy and of Mathematics together offer a joint Ph.D. degree in Logic and the Foundations.

FAQ

Frequently asked questions about Graham Leach-Krouse

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

What company does Graham Leach-Krouse work for?

Graham Leach-Krouse works for Draper.

What is Graham Leach-Krouse's role at Draper?

Graham Leach-Krouse is listed as Traversed the Curry-Howard Isomorphism and Survived at Draper.

Where is Graham Leach-Krouse based?

Graham Leach-Krouse is based in Arlington, Massachusetts, United States while working with Draper.

What companies has Graham Leach-Krouse worked for?

Graham Leach-Krouse has worked for Draper and Kansas State University.

Who are Graham Leach-Krouse's colleagues at Draper?

Graham Leach-Krouse's colleagues at Draper include Brandon Vaz, Jennifer Santos, Luis Antonio Luyo, Ryan Hannigan, and Tara Hesemeyer.

How can I contact Graham Leach-Krouse?

You can use AeroLeads to view verified contact signals for Graham Leach-Krouse at Draper, including work email, phone, and LinkedIn data when available.

What schools did Graham Leach-Krouse attend?

Graham Leach-Krouse holds Doctor Of Philosophy - Phd, Logic And The Foundations Of Mathematics from University Of Notre Dame.

Find 750M verified contacts

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