P R O G R A M C O - C H A I R S
KATHLEEN FISHER is Chair of the Computer Science Department at Tufts University. Previously, she was a program manager at DARPA, a Consulting Faculty Member in the Computer Science Department at Stanford University, and a Principal Member of the Technical Staff at AT&T Labs Research. She received her PhD in Computer Science from Stanford University. Kathleen is an ACM Fellow and a Hertz Foundation Fellow. She has served as Chair of the ACM Special Interest Group in Programming Languages (SIGPLAN) and as Program Chair for three of SIGPLAN's marquee conferences: PLDI, OOPSLA, ICFP. She has also served as an Associate Editor for TOPLAS and as an Editor of the Journal of Functional Programming. Kathleen has long been a leader in the effort to increase diversity and inclusion in Computer Science: she was Co-Chair of the Computing Research Association's Committee on the Status of Women (CRA-W) for three years, and she co-founded SIGPLAN's Programming Language Mentoring Workshop (PLMW) Series. Kathleen is a recipient of the SIGPLAN Distinguished Service Award. She is Chair of DARPA's ISAT Study Group and a member of the Board of Trustees of Harvey Mudd College. |
JOHN HATCLIFF is a University Distinguished Professor and Lucas-Rathbone Professor of Engineering in the Computer Science Department at Kansas State University. He leads the laboratory for Specification, Analysis, and Transformation of Software (SAnToS Lab), which has received over $14million in research funding since 2000 from the Department of Defense, National Science Foundation, NASA, NIH, and companies including Lockheed, Rockwell Collins, Intel, and IBM. SAnToS aims to develop and mature technologies and tools for effective construction of high-confidence software systems. John is working on several other projects involving developing tools and techniques for development and verification of high-assurance software systems. Among other things, John is co-Editor-in-Chief of the Springer journal Software Tools for Technology Transfer (STTT), and co-chair of the Architecture Workgroup on the UL / AAMI 2800 standards committee on Interoperable Medical Device Interface Safety. |
C O M M I T T E E
|
BYRON COOK, Microsoft Research |
STEPHEN MAGILL, Galois, Inc. |
O R G A N I Z E R
Publicity and Communications: KATIE DEY (Vanderbilt University)
Local Arrangements: ANNE DYSON (Cyber Pack Ventures)
Graphic Design: AMY KARNS (Vanderbilt University)
S P O N S O R A G E N C Y
NITRD HCSS Coordinating Group