Madrid / Bruxelles / Paris / Stuttgart / Studi di Genova / /
Company
Timed Systems / ACM Press / Reactive Systems / CONCUR / IEEE Computer Society Press / IMDEA Software / /
Country
Germany / Italy / Belgium / United States / Spain / / /
Facility
University of Los Angeles / Pomona College / University of California / /
IndustryTerm
counter systems / software systems / cryptographic protocols / backward coverability algorithm / security protocols / /
Organization
UCLA / Pomona College / CS Department / University of Los Angeles / PC / Ecole Normale Sup´erieure de Cachan / Computer Science Department / Graduate School / Software Funded Danish Research Council for Nature and Universe Starting/ending / University of California / Los Angeles / Universidad Complutense de Madrid / /
Person
Gabriel Kalyon / Agustin Romano / Francesco Ranzato / Laurent Van Begin / Stefan Kiefer / Javier Esparza / Pierre Ganty / John Gallagher / Benjamin Monmege / Laura Bozzelli / Radu Iosif / Mohamed Faouzi Atig / Lucio Nardelli / Alessandro Armando / Stefan Schwoon / Filip Kone / Patrick Cousot / Giorgio Delzanno / Gilles Geeraerts / Andrey Rybalchenko / Raskin / Luca Compagna / Rupak Majumdar / Michael Luttenberger / T. Massart / Universit / Clementina Latanzi / Thierry Massart / Nicolas Maquet / /
Position
Principal Investigator / translator / co-supervisor / Chancellor / Scientist / supervisor / co-chair / model for bounded verification / assistant / /