Postdoctoral Associates

Adrian Boteanu

I am working on algorithms for using language to control robots and to create world models.

ab2633 {at} cornell {dot} edu

Salar Moarref

My current research focuses on automated controller synthesis from high-level temporal logic specifications for multi-robot and swarm robotic systems. 

sm945 {at} cornell {dot} edu