IBM / Pearson Education / ACM Special Interest Group / CRA / Akamai Technologies / Google Inc. / /
Currency
USD / / /
EntertainmentAwardEvent
the Grace Murray Hopper Award / /
Facility
University of Gothenburg / University of Bordeaux / Duke University / Brown University / University Paris Sud/INRIA Saclay / Massachusetts Institute of Technology / /
IndustryTerm
software system / educational and scientific computing society / certified software / network technology / distributed computing / software components / open-source software / software systems / open source product / computer science educational software / executable algorithms / computing / interactive software tool / certification tool / /
Organization
Platform Division / Brown University / ACM SIG Projects Fund / Massachusetts Institute of Technology / University of Bordeaux / Association for Computing Machinery / Duke University / University of Gothenburg / CRA-W / ACM Education Policy Committee / /
Person
Pierre Castéran / Bruno Barras / Thierry Coquand / Chet Murthy / Charles E. Leiserson / Christine Paulin-Mohring / Hugo Herbelin / Yves Bertot / Robert D. Blumofe / Pedro Felipe Felzenszwalb / Susan H. Rodger / Gérard Huet / Virginia Gold / / /
Position
board member / associate professor of Engineering and Computer Science / co-author / professor of the practice of computer science / professor of the practice / Executive Vice President / Major / chair / Professor of Computer Science / associate professor of Engineering / member / /