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