The heart of the DeepSpec project is creating connections between teams working on different systems with formal specifications and/or proofs. To that end, we have arranged funding to support visits for exchange of technical information. Sit down the hall from one or more of the developers of the system you're trying to interface with; educate them on the ins and outs of your own system. Through this process, we not only build the expertise needed for particular systems, but we also learn the general lessons of deep specification at scale. Be a part of learning the lessons of specification and proof engineering to mirror those that have become standard in software engineering.
We have funding to support the travel and lodging expenses of scientific visitors to any of our four institutions (Princeton, MIT, Yale, Penn). The purpose of the visit should be scientific collaboration on specification and verification of software or hardware.
Visit durations might be as short as a week or as long as a year. We welcome visiting faculty on sabbatical, visiting graduate students here for a semester (or more or less), and visiting industrial collaborators.
We cannot pay salary. Visitors must have salary from their home institutions (or stipend, in the case of students).
To enquire about a scientific visit, contact any one of the Principal Investigators with a cc to the Associate Director.
|2016: Hao Chen, visiting Yale University|
|2016: Mirai Ikebuchi, visiting MIT|
|2016: Samuel Gruetter, visiting Princeton University|
|2017: Benoit Viguier, visiting Princeton University|
|2017: David Naumann, visiting Princeton University|
|2017: Karthik Bhargavan, visiting MIT|
|2017: Pedro Henrique Avezedo de Amorim, visiting MIT|
|2017: Unsung Lee, visiting Yale University|