Subash Shankar

Not registered as user yet

Name:Subash Shankar
Country:United States
Affiliation:Hunter College, City University of New York
Research interests:Formal Methods, Software Engineering, Applied Logic, Programming Languages, Artificial Intelligence, Automated Reasoning

Contributions