FUNDACIÓN IMDEA SOFTWARE - Key Persons
Job Titles:
- Research Intern ( External Collaborator )
Job Titles:
- Member of the Secretary of the Board
- IMDEA Legal Assistant
Job Titles:
- Associate Research Professor
- IMDEA Software As an Assistant Research Professor
Alessandra Gorla joined IMDEA Software as an Assistant Research Professor in December 2014. She has been a postdoctoral researcher in the Software Engineering Chair at Saarland University in Germany from 2011 to 2014, and she has been a visiting researcher at Google in Mountain View right before joining IMDEA Software. Alessandra received her Ph.D degree in Informatics from Università della Svizzera Italiana (also known as University of Lugano), Switzerland. For her doctoral thesis she was awarded the Fritz Kutter Award in 2011.
Alessandra's research focuses on software engineering. For a list of current research activities and publications, please visit her personal website.
Job Titles:
- Assistant Research Professor
Job Titles:
- Adviser
- Research Professor
Job Titles:
- Administrative Assistant / MBA - Institute of Advanced
Job Titles:
- Directora General De Investigación E Innovación
Job Titles:
- Human Resources Assistant
Job Titles:
- Program Director
- Program Director, National Science Foundation, US
Anindya Banerjee received his PhD from Kansas State University, USA, in 1995. After his PhD, Anindya was a postdoctoral researcher, first in the Labaratoire d'Informatique (LIX) of Ecole Polytechnique, Paris and subsequently at the University of Aarhus. He joined the IMDEA Software Institute in February 2009 as Full Professor. Immediately prior to this position, Anindya was Full Professor of Computing and Information Sciences at Kansas State University, USA. He was an Academic Visitor in the Advanced Programming Tools group, IBM T. J. Watson Research Center in 2007 and a Visiting Researcher in the Programming Languages and Methodology group at Microsoft Research in 2007-2008. He was a recipient of the Career Award of the US National Science Foundation in 2001.
Anindya's research interests lie in language-based computer security, program analysis and verification, program logics, concurrency, programming language semantics, abstract interpretation and type systems. His recent research activities have centered around automatic, modular verification of properties of pointer-based programs and in proving security properties such as confidentiality and integrity
Job Titles:
- Research Intern ( External Collaborator )
Job Titles:
- Human Resources Specialist
Job Titles:
- Communication Manager / MS - OBS Business School
Job Titles:
- Researcher
- Researcher, Microsoft Research, Cambridge, United Kingdom
Job Titles:
- Subdirectora General De Investigación
Job Titles:
- Member of the Scientific Advisory Board
Job Titles:
- Post - Doctoral Researcher / PhD - Technical University of Munich, Germany
- Technical
Job Titles:
- Adviser
- Research Professor
César Sánchez joined the IMDEA Software Institute in 2008, after a short post-doc at University of California at Santa Cruz, USA. He received a Ph.D. in Computer Science from Stanford University, USA in 2007, and a M.S in Computer Science in 2001 also from Stanford University, USA. Before that, César received an MSEE (Ingeniería de Telecomunicación) from the Technical University of Madrid (UPM), Spain in 1998.
Job Titles:
- Post - Doctoral Researcher / PhD - KU Leuven, Belgium
Job Titles:
- Adviser
- Associate Research Professor
Job Titles:
- Research Support Technical Staff Member
- Systems & Network Administrator
Job Titles:
- Post - Doctoral Researcher
Job Titles:
- Vice - President of the Board
Job Titles:
- Post - Doctoral Researcher
Job Titles:
- Post - Doctoral Researcher
Job Titles:
- Post - Doctoral Researcher / PhD - Western Norway University of Applied Sciences, Norway
Job Titles:
- Post - Doctoral Researcher / PhD - University of Salerno, Italy
Job Titles:
- Associate Research Professor
Job Titles:
- Research Professor ( Part Time )
Job Titles:
- Post - Doctoral Researcher / PhD - Institute of Science and Technology Austria
Job Titles:
- Adviser
- Associate Research Professor
Job Titles:
- Dean of the School of Computer Science / Technical University of Madrid
Job Titles:
- Research Professor ( Part Time )
Job Titles:
- Member of the Scientific Advisory Board
- Full Professor
Job Titles:
- Associate Research Professor
Job Titles:
- Research Support Technical Staff Member
- Systems & Network Administrator
Job Titles:
- Project Manager
- Project Staff Member
Job Titles:
- Vice - Rector of Scientific Policy
Job Titles:
- Member of the Scientific Advisory Board
- Full Professor
Job Titles:
- Associate Research Professor / Director
Job Titles:
- Assistant Research Professor
Job Titles:
- Member of the Scientific Advisory Board
- Professor
Job Titles:
- Post - Doctoral Researcher
Job Titles:
- Administrative Staff Member
- Adviser
- General Manager / MBA - CEREM International Business School
Job Titles:
- Member of the Scientific Advisory Board
Job Titles:
- Visiting PhD Student / MD - National Polytechnic School
Job Titles:
- Adviser
- Associate Research Professor
Job Titles:
- Member of the Scientific Advisory Board
Job Titles:
- Assistant Research Professor
Job Titles:
- Associate Research Professor
Job Titles:
- Director General De Universidades Y Enseñanzas Artísticas Superiores
Job Titles:
- Chairman of the President of the Board
- Chairman of the Scientific Advisory Board
- Full Professor
Job Titles:
- Research Support Technical Staff Member
- Computing Infrastructures
Job Titles:
- Visiting PhD Student / BS - California Institute of Technology
Job Titles:
- Administrative Staff Member
- General Services Coordinator
Job Titles:
- Project Manager
- Project Staff Member
Job Titles:
- Assistant Research Professor
Job Titles:
- Research Support Technical Staff Member
- Systems & Network Administrator
Job Titles:
- Member of the Scientific Advisory Board