IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Antiguos visitantes

Antiguos investigadores invitados

Patrick Cousot
Patrick Cousot

Silver Professor
Instituto Courant de Ciencias Matemáticas, Universidad de Nueva York, EE.UU.
Hongseok Yang
Hongseok Yang

Professor of Computer Science
Universidad de Oxford, Reino Unido
Peter Stuckey
Peter Stuckey

Visiting Faculty
Professor, Universidad de Melbourne, Australia
María García de la Banda
María García de la Banda

Visiting Faculty
Professor, Universidad de Monash, Australia
Jens Grossklags
Jens Grossklags

Assistant Professor
Universidad Estatal de Pensilvania, EE.UU.
Somesh Jha
Somesh Jha

Professor
Universidad de Wisconsin, EE.UU.
Bogdan Warinschi
Bogdan Warinschi

Research Scientist
Universidad de Bristol, Reino Unido
Michael Ernst
Michael Ernst

Professor
Universidad de Washington, EE.UU.
Javier Esparza
Javier Esparza

Professor
Facultad de Ciencias de Computación, Universidad Técnica de Múnich, Alemania
Alan Mycroft
Alan Mycroft

Professor
Universidad de Cambridge, Reino Unido
David Naumann
David Naumann

Professor
Instituto de Tecnología Stevens, Hoboken, EE.UU.
Martin Wirsing
Martin Wirsing

Professor
Universidad de Múnich Ludwig-Maximilians, Alemania
Neil Jones
Neil Jones

Professor
DIKU Universidad de Copenhague, Dinamarca