Adrian Boteanu photo

About Me

I am a Postdoctoral Associate at Cornell University working in the Verifiable Robotics group. I successfully defended my PhD thesis in August 2015 at WPI, where I was part of RAIL. The long term goal of my research is to use language grounding, semantic reasoning and formal verification to allow embodied agents to communicate and to learn from people.

Check out the projects page for materials about my work!

Contact: ab2633 at cornell dot edu

Refereed Journal and Conference Publications

Refereed Symposium and Workshop Publications