GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
University of British Columbia
/
Mark Greenstreet
M
Mark Greenstreet
Professor
Computer Science
,
University of British Columbia
Research Interests
Formal Methods
Scientific Computing
Systems & Networking
Low-Power High-Performance VLSI Design
Formal Methods in Verification
VLSI and Analog Circuit Testing
Parallel Computing and Optimization Techniques
Interconnection Networks and Systems
Academic Metrics
Links
Grants