Daniel Balasubramanian
Senior Research Scientist
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.
Projects
- CODES: Compositional DSLs for Enhancing Software
- SCC-PG Improving Community and Neighborhood Safety through Open Data Collection
- CODES: Compositional DSLs for Enhancing Software
- RAMPART: Reinforcement Against Malicious Penetration by Adversaries in Realistic Topologies
- Verified Security and Performance Enhancement of Large Legacy Systems (V-SPELLS)
- Model-Enhanced Target-Adaptive Business Process Logic (META-BPL)