P R O G R A M C O - C H A I R S
He has led multidisciplinary groups conducting high-impact research projects in symbolic systems biology, scalable anomaly detection, exquisitely sensitive biosensor systems, strategic reasoning and game theory, and privacy-preserving data sharing. Lincoln holds a Ph.D. in computer science from Stanford University and a B.Sc. in computer science from MIT. He has previously held positions at MCC, Los Alamos National Laboratory, and ETA Systems. Lincoln was named an SRI Fellow in 2005. |
|
S T E E R I N G C O M M I T T E E
June Andronick, Proofcraft
Perry Alexander, University of Kansas
Kathleen Fisher, DARPA
John Hatcliff, Kansas State University
John Launchbury, Galois, Inc.
Stephen Magill, Sonatype
Brad Martin, DARPA
Ray Richards, Leidos
Bill Scherlis, DARPA
Eric Smith, Kestrel Institute
Sean Weaver, National Security Agency
Matt Wilding, Collins Aerospace
O R G A N I Z E R S
KATIE DEY (Vanderbilt University)
REGAN WILLIAMS (Vanderbilt University)
S P O N S O R A G E N C Y
NITRD HCSS Coordinating Group