Andrew Bivin

Project Lead

Daniel Boyer

CFO

David Burke

Principal Scientist, Machine Learning

Eric Woldridge

Engineering Team Lead

Jef Bell

Software Research Team Leader

Jodee LeRoux

General Counsel

John Launchbury

Chief Scientist

Kianna Bradley

Assistant General Counsel

Matt LeBeau

Project Lead

Raj Patra

Project Leader

Vanessa Aguilar

Proposal Coordinator

Eric Leocadio

Facilities & Events Administrator

Rawane Issa

Research Engineer

Andrew Shaughnessy

Marketing Coordinator & Content Creator

Software Engineering Research Intern (summer 2025)

Vacant position

Systems/hardware Formal Verification Research Engineer

Vacant position

Differential Privacy Research Engineer

Vacant position

Engineering Project Lead

Vacant position

Research Engineer

Vacant position