Marijn Heule
Associate Professor
Carnegie Mellon University
United States
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Nigerian students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI
Contact this professor
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?
Articles4
Collaborators2
Randal Bryant
Founders University Professor Emeritus
Carnegie Mellon University
UNITED STATES
Jasmin Christian Blanchette
University of Amsterdam
NETHERLANDS
How do Nigerian students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI