## Mark R. GreenstreetProfessorDepartment of Computer Science University of British Columbia 201-2366 Main Mall Vancouver, B.C., Canada V6T 1Z4 voice: (604) 822-3065 FAX: (604) 822-5485 e-mail: mrg AT cs DOT ubc. DOT caOffice: ICICS/CS 323 |

My research is in formal verification. Informally, that means my students and I have fun solving mathematical puzzles to show that hardware and software designs do what they were intended to do. Real programs and hardware designs such a huge number of possibe inputs and behaviours, that there's no way we can test all of them by running the software, simulating the hardware, or running the hardware in the test lab. This is why bugs show up in real products. If you like solving mathematical puzzles, or if you've think formal verification could help you with your designs, click here. |

Copyright 2015 Mark R. Greenstreet