Revenge would be easy, but it is far more valuable
in my opinion to address this problem of terrorism
with enough honesty to question our own responsibility
as nations and as individuals for the rise of terrorism.
Mariane Pearl, February 22, 2002.
Human history becomes more and more a race
between education and catastrophe.
HG Wells, "Outline of History".
Anindya Banerjee
I am currently professor in the
Department of Computing and
Information Sciences
at Kansas State University. Immediately
prior to joining Kansas State University,
I was assistant professor (1997--2001) in the
Department of Computer Science
at the
Stevens Institute of Technology.
In Summer 2007, I was an academic visitor in the
Advanced Programming
Tools group at
IBM TJ Watson Research Center, Hawthorne.
For the academic year
2007--2008, I was a visiting researcher in the
Programming Languages and
Methodology group at
Microsoft Research, Redmond, on
sabbatical leave from Kansas State University.
Here is New York: A Democracy
of Photographs. Beware;
Rhythm: A Story of Men in Macabre Movement;
Ten stories the world should
hear more about; Meet the Fakers
|
Research
|
Conferences and Seminars
Courses
- CIS 301: Logical Foundations of Programming, Fall 2001, Spring 2002.
- CIS 505: Programming Languages, Fall 2002, Spring 2003, Fall 2003, Spring 2004, Fall 2004, Spring 2005, Spring 2006, Fall 2006, Spring 2007,
Fall 2008
- CIS 505 Preliminary Examination
- CIS 705: Programming Languages,
Spring 2003
- CIS 890: Language-based Security,
Fall 2003,
Fall 2004
- CIS 905: Program Analysis,
Spring 2005
- CIS 798: Cybersecurity,
Fall 2005
- CIS 890: Logic-based Program Analysis and Verification,
Fall 2006
Professional Activities
- Current/recent conferences:
ESOP 2010 (PC),
FTfJP 2009 (Chair),
POPL 2009 (PC),
FTfJP 2008 (PC),
SAW 2008 (PC),
FCS-ARSPA 2007 (PC),
PLAS 2006 (PC),
SAS 2006 (PC),
EAAI 2006 (PC),
ESOP 2006 (PC),
PASTE 2005 (PC).
The Miscellany
Anindya Banerjee (ab at cis dot ksu dot edu)