Alexander J. Summers
The University of British Columbia
Canada
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
10%
Algebra
10%
Logic Programming
10%
Formal Methods
10%
Proof Theory
10%
Complexity Theory
10%
Lattice 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?
Articles1
Collaborators1
Thibault Dardinier
ETH Zürich
SWITZERLAND
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI