Our Research
Our work lies at the intersection of robotics, machine learning, and formal methods. We are always looking to recruit new lab members with interests in these topics.
Adaptation
We develop novel approaches that can adapt to the ever-changing requirements of complex and dynamic environments.
Hybrid Models
We utilize the expressiveness of neural networks with symbolic reasoning to create small models that are efficient.
Robotics
We apply our work in household robots, covering problems in manipulation, human-robot interaction and beyond.