Daniel Balasubramanian is a research scientist at ISIS at Vanderbilt University. His research interests include the lightweight application of formal methods and analysis to model-based development. Balasubramanian received a PhD in computer science from Vanderbilt University.