Industry
We had an industrial advisory board, comprised of knowledgeable engineers and computer scientists from software and hardware companies.
Chris Casinghino
Senior Member of the Technical Staff
Draper Laboratory
David Cok
AdaCore
Byron Cook
Amazon
Christian Ferdinand
CEO, AbsInt Angewandte Informatik GmbH
Osman Ismael
CTO and co-founder
Kevix
Joe Kiniry
Galois
Richard Lethin
President
Reservoir Labs Inc., New York, New York and Portland, Oregon
Adam Langley
Principal Software Engineer
Aleksey Nogin
HRL Laboratories
Peter O'Hearn
Michael Soegtrop
Principal Software Reliability
Intel Communications & Devices Group
Intel Deutschland GmbH