---

Research:

Areas of interest: Formal Methods Software  Engineering Applied Logic Programming Languages Artificial Intelligence and Automated Reasoning Current and Recent Projects: Formal Analysis and Verification of UML Architectures A Testbed for Research into Transformations on Software Architectures Static Analysis of Software Static Analysis of Embedded Systems (as described by reactive languages) CV & Publications

Teaching:

Recent Undergraduate Courses:

• CSCI 145, 245, 345: Computer Architecture I, II, III
  
• CSCI 150: Discrete Mathematics
• CSCI 405: Software Engineering
• CSCI 460: Programming Languages
• CSCI 493.68: Software Modeling, Specification, and Design Methodologies (to be offered again in Fall'08)
  

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:

• CS 71010: Programming Languages (to be offered again in Fall'08 2-4 PM Thursdays)
• CS 81010: Semantics of Software Systems
• CS 81020: Formal Aspects of Software Engineering

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.

Contact:

HN 1000F (Directions) Office Hours:   Fall'08: Monday 5:55-6:55 PM; Wednesday 3-4 PM subash{dot}shankar{at}hunter{dot}cuny{dot}edu (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 10021