Mark R. Greenstreet

About

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.