David L. Dill

Stanford University

Zisman Family Professor of Computer and Information Science, University of Pennsylvania

Microsoft Research

Associate Professor of Pediatrics and Computer Science, University of California San Diego

Professor in SDS, CUHK Shenzhen

Professor, Georgia Institute of Technology, Atlanta, GA, USA

The Hebrew University of Jerusalem

Associate Professor, Stanford University