GradNova

S

Suguman Bansal

Assistant Professor

College of Computing, Georgia Institute of Technology

Research Interests

Formal Methods in Verification

Game Theory and Applications

Logic, Programming, and Type Systems

Reinforcement Learning in Robotics

Software Testing and Debugging Techniques

Academic Metrics

Links

Grants