Greg Sullivan
AeroLeads people directory · profile

Greg Sullivan Email & Phone Number

Research Scientist at MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab)
Location: Rockport, Massachusetts, United States 10 work roles 2 schools
1 work email found @draper.com 3 phones found area 617 and 781 LinkedIn matched
✓ Verified Jun 2026 4 data sources Profile completeness 100%

Contact Signals · 1 work email · 3 phones

Work email g****@draper.com
Direct phone (617) ***-****
LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab)
Role
Research Scientist
Location
Rockport, Massachusetts, United States
Company size
1759 employees

Who is Greg Sullivan? Overview

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

Quick answer

Greg Sullivan is listed as Research Scientist at MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab), a company with 1759 employees, based in Rockport, Massachusetts, United States. AeroLeads shows a work email signal at draper.com, phone signal with area code 617, 781, and a matched LinkedIn profile for Greg Sullivan.

Greg Sullivan previously worked as Distinguished Member Of Technical Staff at Draper and Chief Scientist, Co-Founder at Dover Microsystems. Greg Sullivan holds Ph.D., Computer Science from Northeastern University.

Company email context

Email format at MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab)

This section adds company-level context without repeating Greg Sullivan's masked contact details.

{first_initial}{last}@draper.com
89% confidence

AeroLeads found 1 current-domain work email signal for Greg Sullivan. Compare company email patterns before reaching out.

View email format View company profile Management contacts
Profile bio

About Greg Sullivan

5/2022-present: Draper Laboratory. Distinguished Member of Technical Staff.7/2017-5/2022: Dover Microsystems. Co-Founder and Chief Scientist.2015-6/2017: Draper Laboratory. Principal Member of Technical Staff. Working on Dover inherently secure computer architecture. 2004-2015: BAE Systems AIT (was Alphatech). Working on software engineering, model-based methods, security, programming languages, secure systems, planning. 1999-2004: MIT Computer Science and Artificial Intelligence Lab (CSAIL) (was AI Lab). Dynamic languages, planning, model-based autonomy.1997-1998: Harlequin, Inc. Worked on compiler for Dylan, a dynamic language.1996-1997: Boston College. Visiting faculty.1991-1996: Northeastern University, Ph.D. student. Advisor Mitch Wand. Thesis: "Operationally-based Models of Higher Order Imperative Programming Languages".Specialties: Cyber-Security, Dynamic languages, compilers, functional languages, scheme, aspect-oriented programming, dynamic optimization, formal semantics of programming languages, model-based programming, software producibility, AI planning, logic.Publications: See google scholar, https://scholar.google.com/citations?hl=en&user=Jd8WpFkAAAAJ

Listed skills include Software Engineering, Computer Science, Artificial Intelligence, Algorithms, and 11 others.

Current workplace

Greg Sullivan's current company

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

MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab)
Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)
Research Scientist
Rockport, MA, US
Website
draper.com
Employees
1759
AeroLeads page
Company profile
View company profile Email format
10 roles · 42 years

Greg Sullivan work experience

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

Distinguished Member Of Technical Staff

Current
Draper

Cambridge, Massachusetts, United States

Combining research in programming languages, formal methods, and cyber security.

May 2022 - Present

Chief Scientist, Co-Founder

Dover Microsystems

Dover is designing a security coprocessor that blocks most current cyberattacks and that supports advanced security policies such as information flow control, control flow integrity, multi-level security, and more.

Jul 2017 - May 2022

Chief Scientist, Inherently Secure Computing "Hive"

Draper Laboratory

Cambridge, Massachusetts, USA

Working on "Dover", an extension to the RISC-V open source architecture.Dover applies software-defined "micro-policies" on a per-instruction, per-word basis.Micro-policies can implement a wide array of security policies, including memory protection (no buffer overflows), control flow integrity (no ROP / code reuse attacks), and information flow secrecy and.

Apr 2015 - Jun 2017

Principal Engineer

Bae Systems Advanced Information Technologies (Formerly Alphatech)

Applied research in software engineering, verification, computer security, planning.Principal investigator on DARPA PPAML OP3 project. We are creating probabilistic programming languages backed by formal semantics of "intensional properties" in order to optimally match probabilistic models plus queries with inference algorithms. October 2013-.Principal.

Jul 2004 - Apr 2015

Research Scientist

Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)

Projects included: dynamic virtual machine, aspect-oriented programming, design patterns in dynamic languages, dynamic native optimization of interpreters, languages for model-based programming, and verification of model-based programs. Founded the Lightweight Languages Workshops. See ll3.ai.mit.edu, ll2.ai.mit.edu, ll1.ai.mit.edu

1999 - 2004 ~5 yrs

Software Engineer

Harlequin, Inc.

Working on compiler for Dylan, a dynamic object-oriented language.

1997 - 1998 ~1 yr

Visiting Faculty

Boston College

Taught introductory "computer literacy" courses to business students.

1996 - 1997 ~1 yr

Software Engineer

Language Technology, Inc.

Worked on Chrysalis reverse engineering tool suite.

1990 - 1991 ~1 yr

Software Engineer

Cortex, Corp.

Worked on CASE (Computer Aided Software Engineering) tools.

1984 - 1989 ~5 yrs
Team & coworkers

Colleagues at MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab)

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

RW Rick Wang Rick Wang Colleague at Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)Cambridge, Massachusetts, United States, United States View → RJ Rachel Johnson Rachel Johnson Colleague at Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)Huntsville, Alabama, United States, United States View → RO Rob Ostrye Rob Ostrye Colleague at Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)Portland, Maine Metropolitan Area, United States View → TC Trey Cranney Trey Cranney Colleague at Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)Somerville, Massachusetts, United States, United States View → KB Kerri Brown Kerri Brown Colleague at Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)Huntsville, Alabama, United States, United States View → DR Devin Renshaw Devin Renshaw Colleague at Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)Houston, Texas, United States, United States View → JW Jacek Wróbel Jacek Wróbel Colleague at Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)Greater Boston, United States View → DB Dan Burasinsanga Dan Burasinsanga Colleague at Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)Boston, Massachusetts, United States, United States View → MY Mon Y Young Mon Y Young Colleague at Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)Quincy, Massachusetts, United States, United States View → SB Skinner Betty Skinner Betty Colleague at Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab)Cambridge, Massachusetts, United States, United States View →
2 education records

Greg Sullivan education

FAQ

Frequently asked questions about Greg Sullivan

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

What company does Greg Sullivan work for?

Greg Sullivan works for MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab).

What is Greg Sullivan's role at MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab)?

Greg Sullivan is listed as Research Scientist at MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab).

What is Greg Sullivan's email address?

AeroLeads has found 1 work email signal at @draper.com for Greg Sullivan at MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab).

What is Greg Sullivan's phone number?

AeroLeads has found 3 phone signal(s) with area code 617, 781 for Greg Sullivan at MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab).

Where is Greg Sullivan based?

Greg Sullivan is based in Rockport, Massachusetts, United States while working with MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab).

What companies has Greg Sullivan worked for?

Greg Sullivan has worked for Mit Computer Science And Artificial Intelligence Laboratory (Was Ai Lab), Draper, Dover Microsystems, Draper Laboratory, and Bae Systems Advanced Information Technologies (Formerly Alphatech).

Who are Greg Sullivan's colleagues at MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab)?

Greg Sullivan's colleagues at MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab) include Rick Wang, Rachel Johnson, Rob Ostrye, Trey Cranney, and Kerri Brown.

How can I contact Greg Sullivan?

You can use AeroLeads to view verified contact signals for Greg Sullivan at MIT Computer Science and Artificial Intelligence Laboratory (was AI Lab), including work email, phone, and LinkedIn data when available.

What schools did Greg Sullivan attend?

Greg Sullivan holds Ph.D., Computer Science from Northeastern University.

What skills is Greg Sullivan known for?

Greg Sullivan is listed with skills including Software Engineering, Computer Science, Artificial Intelligence, Algorithms, Machine Learning, Programming Languages, Software Design, and Distributed Systems.

Find 750M verified contacts

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

People with similar names

Check these profiles if this is not the Greg Sullivan you were looking for.

Greg Sullivan
Greg Sullivan
President Sullivan Realty Company,
Quincy, Ma
1 email domain
View similar profiles