Dr. Mark Greenstreet

Biography

Mark Greenstreet is a Professor in the Department of Computer Science at the University of British Columbia. He obtained his Bachelor of Science degree from the California Institute of Technology in 1981, followed by a Master of Science and a Ph.D. from Princeton University in 1988 and 1993, respectively. His extensive experience includes roles as a Senior Engineer at ESL Inc. and a Visiting Lecturer at Aarhus University. Greenstreet has held positions at the University of British Columbia since 1992, progressing from Assistant Professor to Associate Professor and eventually to Professor. His research interests focus on systems and networking, formal methods, and scientific computing, with specific emphasis on verification of VLSI design. His recent projects include the development of high-performance communication protocols and the design of high-speed pipelines. Greenstreet also collaborates on hybrid systems to verify the correct implementation of designs across various engineering disciplines. He has contributed to the advancement of lightweight theorem proving techniques, aiming to enhance the field of formal verification. He is actively engaged in teaching, offering courses in parallel computation and formal verification analysis.

Research Interests

Courses