Microsoft researcher Dr. Jade Alglave has received the prestigious Royal Society Brian Mercer Award for Innovation for her work on multiprocessor technology, which led to the development of .cat, a standard verification format for hardware chips.
Microsoft Research
