About Me


I am a post-doctoral fellow  in the GRITS and AMBER labs at Georgia Institute of Technology.  My current and future research focuses on applying formal methods to applications in robotics and other cyber-physical systems.

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>