SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Anindya Banerjee

Not registered as user yet

Name: Anindya Banerjee

Bio: 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.

Country: United States

Affiliation: National Science Foundation

Personal website: https://www.nsf.gov/staff/staff_bio.jsp?lan=abanerje&org=NSF&from_org=NSF

Contributions

SPLASH 2020Author of Relational Reasoning in Object-based Programs within the REBASE-track
Show activities from other conferences

Using general profile