Not registered as user yet
Anindya is a Program Director at the National Science Foundation in the CISE Directorate in the Division of Computing and Communication Foundations (CCF) where he focuses on the issues of Software and Hardware Foundations; Exploiting Parallelism for Scalability; Cyber-physical Systems; Research Experience for Undergraduates; CISE Research Initiation Initiatives. Banerjee’s research interests span software security, software verification, probabilistic programming, semantics and logics of programs, abstract interpretation, program analysis and program transformation. He received his Ph.D. from Kansas State University, USA, in 1995. After his Ph.D., 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.
|SPLASH 2020||Author of Relational Reasoning in Object-based Programs within the REBASE-track|