IBM / AT&T / Bell Labs / Cadence Design Systems / Special Interest Group / Bell Laboratories / NASA's Jet Propulsion Laboratory / ACM SIG Project Fund / Lucent Technologies / /
Country
Netherlands / Belgium / Israel / /
Currency
USD / / /
Facility
University of California Berkeley / University of Liege / Hebrew University of Jerusalem / Delft University of Technology / Stanford University / Westin St. Francis Hotel / New York University / IBM Almaden Research Center / University of Washington / Rice University / Information Technology Institute / /
IndustryTerm
reactive systems / large telephone networks / software package / software systems / formal verification tools / communication protocols / software designs / computing / /
Organization
University of Washington / University of California / New York University / Association for Computing Machinery ACM HONORS CREATORS OF VERIFICATION TOOLS FOR SOFTWARE / Universite de Liege / Rice University / Delft University of Technology / Association for Computing Machinery / Computer and Information Technology Institute / National Academy of Engineering / Stanford University / University of Liege / National Aeronautics and Space Administration / Hebrew University of Jerusalem / Technion / /
Person
Moshe Y. Vardi / Pierre Wolper / Robert P. Kurshan / Gerard J. Holzmann / Virginia Gold / / /
Position
author and co-author / researcher / Member of Technical Staff / author / director of computing principles / Professor / Director / Computer Science professor / /
ProvinceOrState
New York / /
SportsLeague
Stanford University / /
Technology
Information Technology / communication protocols / /
Contact: Virginia Goldacm