R
Reto Achermann
Affiliate Assistant Professor
GradNova doesn't forward messages to faculty. To contact Reto Achermann, use the University of British Columbia website.
Research Interests
Formal Methods
Program Analysis & Verification
Systems & Networking
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Distributed Systems and Fault Tolerance
Advanced Data Storage Technologies
Cloud Computing and Resource Management
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 →