Alexander J. Summers
The University of British Columbia
Canada
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Korean 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
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 Korean students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI