Daniel Balasubramanian

Research Scientist
Adjunct Associate Professor of Computer Science

Computer Science

Intellectual Neighborhoods

• Cyber-physical Systems

Biography

Symbolic execution, code analysis