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.j...@gmail.com After May 2nd, you can also reach me at my Intel email address: john.r.matth...@intel.com You can find out more about Intel's Many Integrated Core (MIC) division here: http://www.intel.com/pressroom/archive/releases/2010/20100531comp.htm Tom Melham provides a good overview of the Forte verification system here: http://web.comlab.ox.ac.uk/tom.melham/res/forte.html Cheers, -john
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev