College Logo


Subash Shankar

Associate Professor
Computer Science

CUNY Graduate Center


Areas of interest:
  • Formal Methods
  • Software  Engineering
  • Applied Logic
  • Programming Languages
  • Artificial Intelligence and Automated Reasoning
Current and Recent Projects:
  • Static Analysis of Embedded Systems (as described by reactive languages)
  • Constraint Logic Programming over Graphs
  • A Testbed for Research into Transformations on Software Architectures (and UML)
  • Formal verification of mixed macro-/micro- time systems 
  • Static Analysis of Software
CV & Publications


Recent Undergraduate Courses:

Webpages for the above courses are available on blackboard. The 400 level courses are electives that are not regularly offered. If you are interested in learning more about these areas (including independent study), please talk to me.

Recent Graduate Courses:

If you are an undergraduate and wish to take a 8X-level course that I am offering, please talk to me (well before the semester starts) to make sure you have the right prerequisites.


HN 1000F (Directions)
Office Hours:
  Fall'12: Monday 3:30-5:30 PM
(212) 650 3392
Subash Shankar
Department of Computer Science
Hunter College and the Graduate Center
City University of New York (CUNY)
695 Park Ave.
New York, NY 10065