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