DeepSpec
 
The Science of Deep Specification

We have an industrial advisory board, comprised of knowledgeable engineers and computer scientists from software and hardware companies.


Nick Benton

Nick Benton

Senior Researcher

Microsoft Research


Chris Casinghino

Chris Casinghino

Senior Member of the Technical Staff

Draper Laboratory


David Cok

David Cok

AdaCore


Byron Cook

Byron Cook

Amazon


Christian Ferdinand

Christian Ferdinand

CEO, AbsInt Angewandte Informatik GmbH


John Hughes

John Hughes

CEO, Quviq AB

Professor, Chalmers University


Joe Kiniry

Joe Kiniry

Galois


Richard Lethin

Richard Lethin

President

Reservoir Labs Inc., New York, New York and Portland, Oregon


Adam Langley

Adam Langley

Principal Software Engineer

Google


Nuno Lopes

Nuno Lopes

Researcher

Microsoft Research


Aleksey Nogin

Aleksey Nogin

HRL Laboratories


Peter O'Hearn

Peter O'Hearn

Facebook


Michael Soegtrop

Michael Soegtrop

Principal Software Reliability

Intel Communications & Devices Group

Intel Deutschland GmbH