IMDEA initiative

Home > People

Anindya Banerjee

Affiliate Faculty

Anindya Banerjee
IMDEA Software Institute

Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid

Telephone: +34-91-101-2202 ext 4103
Fax: +34-91-101-1358
Email: Anindya Banerjee e-mail
Home Page:

Short bio

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.

Research Interests

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

Please visit my personal home page.