Daniel Balasubramanian

Position at ISIS

Title
Research Scientist

Degrees earned at ISIS

M.Sc. in Computer Science:

Start date:
8/14/2004
Finish date:
5/11/2008

Ph.D. in Computer Science:

Ftart date:
8/14/2004
Finish date:
5/13/2011

Current location

City
Nashville
State
TN
Country
U.S.A.
Current position
Research Associate
Employer
Vanderbilt University

Miscellaneous

Research interests

Formal-analysis methods, model-based design