Quantcast
Channel: Microsoft Research Blog - Microsoft Research
Viewing all articles
Browse latest Browse all 1296

Royal Society Brian Mercer Award for Alglave

$
0
0
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.

Viewing all articles
Browse latest Browse all 1296

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>