Daniel Balasubramanian

Research Scientist
Adjunct Assistant Professor of Computer Science

Electrical Engineering and Computer Science

Intellectual Neighborhoods

• Cyber-physical Systems

Biography

Symbolic execution, code analysis