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 May 2026 3 data sources Profile completeness 86%

Contact Signals

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

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 company 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.

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
Employees
1759
AeroLeads page
3 roles

Graham Leach-Krouse work experience

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

Formal Methods Engineer

Current

Cambridge, Massachusetts, United States

Aug 2023 - Present

Program Director, Integrated Computer Science

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 →

2 education records

Graham Leach-Krouse education

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

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

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 Skip Ririe, Jeff Cooney, Alex Trestyn, Kristine Gaughan, and Andrea Cooper.

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.