conf.researchr.org / Subash Shankar
Not registered as user
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