[isabelle-dev] Transition

John Matthews matthews.r.john at gmail.com
Fri Apr 15 17:58:45 CEST 2011

Friends and Colleagues,

I'm pleased to announce that on May 2nd I will be joining Flemming
Andersen's formal verification (FV) team within Intel's Many Integrated Core
(MIC) supercomputing division.

The MIC division is developing next-generation supercomputing and cloud
computing microprocessors, and as part of the FV team we will apply a wide
range of formal verification tools, including Intel's state-of-the-art Forte
verification environment. Finding "billion dollar bugs" before they are
baked into silicon is personally very compelling!

However I will also miss working with my colleagues at Galois. I'm proud to
have been part of a company that has seriously applied functional
programming and formal methods towards solving critical security problems.

For now you can reach me via email at matthews.r.john at gmail.com

After May 2nd, you can also reach me at my Intel email address:
john.r.matthews at intel.com

You can find out more about Intel's Many Integrated Core (MIC) division


Tom Melham provides a good overview of the Forte verification system here:



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20110415/bcff4040/attachment.html>

More information about the isabelle-dev mailing list