About
Anindya Banerjee is a Full Professor who joined the IMDEA Software Institute in 2009 after serving as Professor at Kansas State University. His research focuses on language-based computer security, program verification, and programming language semantics. He received his PhD from Kansas State University in 1995 and was a postdoctoral researcher at Ecole Polytechnique and University of Aarhus. Banerjee has held visiting positions at IBM T.J. Watson Research Center and Microsoft Research.
His work centers on automatic modular verification of pointer-based programs and proving security properties like confidentiality. He leads research in abstract interpretation, type systems, and concurrency models for secure computing systems.
Awards include the prestigious NSF Career Award (2001).
Find Anindya Banerjee elsewhere
Related Searches
You Might Also Like
- AAleksandar NanevskiIMDEA Software Institute · Research Professor
- AAleks NanevskiIMDEA Software Institute · Research Professor
Laurent MauborgneIMDEA Software Institute · Assistant Professor
Pietro FerraraInria · Associate Professor
Dave NaumannStevens Institute of Technology · Professor- GGilles BartheMax Planck Institute for Software Systems · Research Professor