Not registered as user yet

Name: Subash Shankar

Country: United States

Affiliation: Hunter College, City University of New York

Personal website: http://www.cs.hunter.cuny.edu/~sshankar/

Research interests: Formal Methods, Software Engineering, Applied Logic, Programming Languages, Artificial Intelligence, Automated Reasoning

Contributions