Oslo / Montreal / Ottawa / Sherbrooke / Data / Lausanne / /
Company
IBM / Canada Software Engineer Intern 1999 Trolltech ASA / provers L. C. / Canada Software Engineer Intern 1998 Corel Corporation / Heinz / Combining Systems / Nokia / ACM Press / Google / Work Experience CAE Electronics Ltd. / API Design J. Blanchette Trolltech / /
Country
Norway / / /
Facility
Charles University / Sydney University of Cambridge Max Planck Institute / Prentice Hall / Prague IBM Watson Research Center Karlsruhe Institute of Technology Chalmers University / M. Summerfield Prentice Hall / College Publications / / /
Organization
Sydney University of Cambridge Max Planck Institute for Software Systems / Charles University in Prague / Technische Universität München / Max-Planck-Institut für Informatik / C.S. Department / Proof Exchange for Theorem Proving / Johan Dovland Technische Universität München / Charles University / United Nations / Oslo Freie Universität Berlin Inria Nancy / Association for Automated Reasoning / Math/C.S. Department / Institute of Technology Chalmers University of Technology / /
Person
Anders Schlichtkrull / Peter Koepke / Anders Steckermeier / C. Paulin-Mohring / Isabelle Aymeric Bouzy / Martin Desharnais / Philipp Hermann / Archive / Marcel Kyas / D. Pichardie / Steffen Juilf Smolka / Mathias Fleury / Lorenz Panny / Olaf Owe / Yuan Gao Charles Francis / Johan Dovland Technische Universität / Maximilian Haslbeck / Logic J. C. Blanchette / Haskell Symposium / Philip Welch / Technische Universität München / Bruce Perens / Jasmin Christian Blanchette / Applied Logic / / /