Wall Street Journal / Online Social Networks / Character Theory Group / Social Information Networks / Suzuki / Microsoft / /
Country
Netherlands / Sweden / Canada / Spain / /
Facility
Institute of Advanced Studies / CoqEAL library / Chalmers University / McMaster University / While building / Méditerrannée École Normale Supérieure de Paris Carnegie Mellon University University of Pittsburgh The / MathComp library / /
IndustryTerm
Software engineering / modularity tools / biomedical imaging / dot product / search supporting rich queries / distributed computing / software components / web portal / generic adaptive search methods / archeological site / generic practical tools / interactive web site / maximal / image processing / smart-meter billing protocols / stateof-the art formal method tools / type inference algorithm / mining / video processing / e - commerce / real-time operating systems / non-trivial product / software engineering techniques / software engineering concepts / cloud computing / cryptographic protocol / software solutions / biomedical imaging community / at developing an interactive web site / /
Organization
Carnegie Mellon University University / McMaster University / Chalmers University / Congress / University of Pittsburgh / MAP Spring School / Joint Centre / Canonical Structures / Institute of Advanced Studies / National Aeronautics and Space Administration / Microsoft Research-Inria Joint Centre / Princeton Institute of Advanced Studies / /
Person
Cyril Cohen / Kristina Sojakova / Russell Guillaume Cyril Maxime François Kristina Alexey / Ssreflect / María Poza / CONNOR CANO COHEN DÉNÈS GARILLOT / Assia Mahboubi / Guillaume Cano / Enrico Tassi / Andrea Asperti / Enrico Laurent Russell Guillaume / Maxime Denès / Sophia Antipolis-Méditerrannée / Laurence Rideau / Stéphane Le Roux / Thierry Coquand / Sophia Antipolis / Georges Gonthier / Benjamin Werner / Sophia Antipolis-Méditerrannée Inria / Chantal Keller / Frédéric Chyzak / Jeremy Avigad / Mathieu Boespflug / François Garillot / Derek Dreyer / Linear Algebra / Yves Bertot / Laurent Théry / Vincent Siles / Alexey Solovyev / Laurent Russell Guillaume Cyril / Jean-Michel Muller / Benjamin Grégoire / Leslie Lamport / Nicolas Brisebarre / Aleksandar Nanevski / Laurence Enrico Laurent Russell / Russell O'Connor / Anders Mörtberg / Georges Yves Assia Laurence Enrico Laurent / Andrew Appel / Ioana Pasca / Micaela Mayero / /
Position
first proof assistant / Principal Researcher / Personnel Project Status Last name First name Affiliation Mathematical Components Team leader / particular actor / Researcher / proof assistant / Scientist / development engineer / particular actor / eg / Senior Researcher / Project Status Last name First name Affiliation Mathematical Components Team leader Site leader / library designer / name First name Affiliation Mathematical Components Team leader Site leader Researcher Researcher Researcher Researcher / Principal Researcher / Research / /
Product
Coq / /
ProgrammingLanguage
JavaScript / /
PublishedMedium
New Scientist / Machine Learning / the New Scientist / Logical Methods in Computer Science / La Recherche / Wall Street Journal / /
Scientific ReportMicrosoft Research-Inria Joint Centre www.msr-inria.inria.fr Introduction