Mark R. Greenstreet

Mark R. Greenstreet is a Professor in the Department of Computer Science at the University of British Columbia (UBC). He holds a BSc from Caltech (1981), MA (1988), and PhD (1993) in Computer Science from Princeton University. His primary research focuses on formal verification of analog and mixed-signal (AMS) circuits, VLSI design, and hybrid systems. Notable contributions include the STARI signaling technique, tools like Coho for reachability analysis, and PReach for parallel model checking. He has advised numerous graduate students and collaborators, including Brad Bingham, Chao Yan, and Yan Peng. His work has been recognized with a Best Paper Award at the ASYNC Symposium. Supported by NSERC, Intel, and Oracle, his research bridges theoretical foundations and practical challenges in circuit design and verification. He teaches courses on formal methods, computer architecture, and automata theory at UBC.