R
Ryan Kavanagh
GradNova doesn't forward messages to faculty. To contact Ryan Kavanagh, use the Université du Québec à Montréal website.
Research Interests
Langages De Programmation: Systèmes De Typage, Sémantique, Fondements Et Conception
Logique: Interprétation Computationnelle, Logique Intuitionniste, Linéaire Ou Sous-Structurelle
Programmation Concurrente Et Parallèle: Langages, Systèmes De Typage, Sémantique, Vérification
Logic, Programming, and Type Systems
Formal Methods in Verification
Distributed Systems and Fault Tolerance
Logic, Reasoning, and Knowledge
Parallel Computing and Optimization Techniques
Academic Metrics
Links
Grants
Researching advisors with ChatGPT or Claude? Use GradNova in ChatGPT or Claude · Early access →
Considering this professor? Add them to your shortlist and get 2 professors checked by a person, free →