Partners & People

Europe

Saarland University (DE)
Dependable Systems and Software
Holger Hermanns
Andrea Turrini
Luis Ferrer Fioriti
Hernán Baró Graf
Christian Eisentraut
Lei Song
Hassan Hatefiardakani
Vahid Hashemi
Arnd Hartmanns
Lijun Zhang
Alexander Graf-Brill
Programming Systems
Gert Smolka
Programming Languages and Compiler Construction
Reinhard Wilhelm
Foundations of Artificial Intelligence
Jörg Hoffmann
Software Engineering
Juan P. Galeotti
PL/Verification (MPI-SWS)
Beta Ziliani

RWTH Aachen University (DE)
Software Modeling and Verification
Joost-Pieter Katoen
Erika Abraham
Thomas Noll
Friedrich Gretz
Nils Jansen
Maximilian Odenbrett
Falak Sher

Technische Universität Dresden (DE)
Algebraic and Logical Foundations of Computer Science
Christel Baier

INRIA (FR)
COMETE: Concurrency, Mobility and Transactions
Catuscia Palamidessi
Kostas Chatzikokolakis
Miguel E. Andrés
Nicolás Emilio Bordenabe
Luis Fernando Pino Duque
VeriDis: Verification of Distributed Systems
Stephan Merz
Pascal Fontaine
DAHU: Databases and Verification
Stéphane Demri
Luc Segoufin
Indes: Informatique Diffuse et Sécurisée
Tamara Rezk
ESTASE
Axel Legay
Sean Sedwards
Cyrille Jegourel
Uli Fahrenberg
RMoD
Stéphane Ducasse
MEXICO: Modelling and Exploitation of Interaction and Concurrency
Hernán Ponce de León

Imperial College (UK)
Distributed Software Engineering
Jeff Kramer
Jeff Magee
Alessandra Russo
Dalal S. Alrajeh
Nicolas R. D'Ippolito
German Emir Sibay

University of Leicester (UK)
Department of Computer Science
Nir Piterman
Emilio Tuosto
Neil Walkinshaw
Julien Lange
Irek Ulidowski
José Luiz Fiadeiro

Technische Universiteit Eindhoven (NL)
Systems Engineering
Jos Baeten
Michel Reniers
Allan van Hulst
Damián Nadales Agut
Model Driven Software Engineering (MDSE)
Jan Friso Groote
Suzana Andova
Sjoerd Cranen
Bas Luttik
Erik de Vink
Anton Wijs
Security
Sandro Etalle
Jerry den Hartog

Argentina

Universidad Nacional de Córdoba
Dependable Systems
Pedro R. D'Argenio
Damián Barsotti
Matías D. Lee
Pedro Sánchez Terraf
Nicolás Wolovick
Laura Brandan Briones
Ricardo Corin
Silvia Pelozo
Carlos Budde
Raúl Monti
Carlos Bederián
Felipe Manzano
Logics, Interaction and Intelligent Systems
Carlos Areces
Guillaume Hoffmann
Luciana Benotti
Raul Fervari
Ezquiel Orbe
Natural Language Processing
Gabriel Infante-Lopez

Universidad de Buenos Aires
LAFHIS: Tools and Foundations for Software Engineering
Víctor Braberman
Diego Garbervetsky
Hernán Melgratti
Esteban Pavese
Guido de Caso
Hernan Czemerisnky
GLyC: Logic, Language and Computability Research
Santiago Figueira
Diego Figueira
Daniel Gorín
Sergio Mera
Facundo Carreiro
Relational Formal Methods
Carlos Gustavo Lopez Pombo

Universidad Nacional de Río Cuarto
Departamento de Computación
Nazareno Aguirre
Valeria Bengolea
Pablo Castro
Renzo Degiovanni
Pablo Ponzio
Germán Regis
Nicolás Ricci

Instituto Tecnológico Buenos Aires
CISoft: Centro de Calidad Integral del Software
Marcelo Frias
Pablo Abad
Santiago Bermúdez