Summer Sale
Up to 30% off — ends 7 Aug
ONLY00h00m00s
Up to 30% off — ends 7 Aug
ONLY00h00m00s
Jasmin Christian Blanchette
University of Amsterdam
Netherlands
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI
Contact this professor
Research Interests
Mathematical Logic
60%
Algebra
40%
Logic Programming
40%
Inversion
30%
Formal Methods
30%
High-order Methods
20%
Mathematics
20%
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?
Articles11
Year:
2023
Year:
2023
Year:
2021
Collaborators3
Dmitriy Traytel
Associate Professor
University of Copenhagen
DENMARK
Alexander Bentkamp
University of Amsterdam
NETHERLANDS
Marijn Heule
Associate Professor
Carnegie Mellon University
UNITED STATES
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI