J
John Regehr
Professor
GradNova doesn't forward messages to faculty. To contact John Regehr, use the University of Utah website.
Research Interests
High-Performance Computing (compiler Optimization)
Programming Languages (compiler Optimization, Formal Verification and Testing)
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
Software Testing and Debugging Techniques
Embedded Systems Design Techniques
Formal Methods in Verification
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 →