معرفی
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).
Anindya Banerjee در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- AAleksandar NanevskiIMDEA Software Institute · استاد پژوهشی
- AAleks NanevskiIMDEA Software Institute · استاد پژوهشی
Laurent MauborgneIMDEA Software Institute · استادیار
Pietro FerraraInria · دانشیار
Dave NaumannStevens Institute of Technology · استاد- GGilles BartheMax Planck Institute for Software Systems · استاد پژوهشی