Spotlight

Empowering the Experts: High-Assurance, High-Performance, High-Level Design with Cryptol.

Use Cryptol to quickly explore different time/space tradeoffs for cryptographic implementations. Prove correctness of software or hardware implementations from a single specification. Learn more by reading a recent article published in a government magazine sent to all DoD contractors. 

Learn More >>

Featured Events

May 18-22, 2012

Matt Sottile is participating in the Shonan Meeting seminar "Bridging the Theory of Staged Programming Languages and the Practice of High-Performance Computing" in Tokyo, Japan.

June 12-13, 2012

David Burke is speaking at the Driverless Car Summit in Detroit, MI on June 13. We hope to see you there!

More Events >>