Summer Sale

Get 30% Off

Up to 30% off — ends 7 Aug

ONLY00h00m00s

professor profile picture

Marijn Heule

Associate Professor

Carnegie Mellon University

Country flag

United States

This profile is automatically generated from trusted academic sources.

Google Scholar

.

ORCID

.

LinkedIn

Social connections

How do I reach out?

Sign in for free to see their profile details and contact information.

Meet Kite AI

Contact this professor

LinkedIn
ORCID
Google Scholar

Research Interests

Mathematical Logic

20%

Algebra

30%

Automata Theory

10%

Mathematics

10%

Logic Programming

10%

Formal Methods

10%

Proof Theory

10%

Ask ApplyKite AI

Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?

Collaborators2

Randal Bryant

Founders University Professor Emeritus

Carnegie Mellon University

UNITED STATES

Jasmin Christian Blanchette

University of Amsterdam

NETHERLANDS