Daniel Balasubramanian

Research Scientist
Adjunct Assistant Professor of Computer Science

Computer Science

Intellectual Neighborhoods

• Cyber-physical Systems

Biography

Symbolic execution, code analysis