The Coq mailing list

[Kevin Sullivan <sullivan.kevinj AT gmail.com>]

This is terrific. Congrats on receiving such a high-end recognition of your work. --Kevin Sullivan

On Thu, Jan 7, 2016 at 5:20 AM, Andrew Appel <appel AT cs.princeton.edu> wrote:

The U.S. National Science Foundation has just announced this year's three

Expeditions in Computing, their major, high-profile, "flagship" grants; including:

The Science of Deep Specification

Andrew W. Appel, Adam Chlipala, Benjamin Pierce, Zhong Shao, Stephanie Weirich, Steve Zdancewic

(Princeton, Penn, Yale, MIT)

This 5-year "Expedition" will focus on specification and verification of software and hardware in Coq.

We invite you to browse the DeepSpec web site,   http://deepspec.org

to learn more of our plans.

We invite participation from the community of researchers

interested in software specification and functional-correctness verification,

both in the U.S. and around the world, both in academia and industry.

We will be looking for postdocs and PhD students, and visitors.

Andrew W. Appel

Princeton University