Jonathan Sterling
Associate Professor
University of Cambridge
United Kingdom
Has grant
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
20%
Computer Science
50%
Philosophy
30%
Mathematics
30%
Formal Methods
30%
Type Theory
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?
Recent Grants
Grant: Close
TypeSynth: Synthetic Methods in Program Verification
Open Date: 2022-07-01
Close Date: 2024-06-01
Grant: Close
Session Types and Phase Distinctions for Noninterference
Open Date:
Close Date:
Articles10
Year:
2023
Year:
2022
Collaborators3
Lars Birkedal
Aarhus University
DENMARK
Robert Harper
Carnegie Mellon University
UNITED STATES
Carlo Angiuli
Assistant Professor
Indiana State University
UNITED STATES
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI