Cameron Finucane

About

Cameron Finucane is a robotics researcher whose work sits at the intersection of formal methods, natural language processing, and autonomous robot control. His research has focused primarily on making robots more accessible to non-expert users by enabling them to receive and execute complex, high-level instructions expressed in natural language—while maintaining rigorous, mathematically provable correctness guarantees. Finucane made significant contributions to the development of the Linear Temporal Logic MissiOn Planning (LTLMoP) toolkit, an open-source platform that translates structured English task specifications into verified robot controllers. This work, reflected across several of his most-cited publications, helped bridge the gap between human-readable instructions and formally synthesized autonomous behavior. His 2013 paper addressing unachievable robot tasks—which garnered 55 citations—introduced an elegant approach to explaining system limitations back to users in natural language, a critical step toward transparent human-robot collaboration. Beyond task specification, Finucane explored challenges such as timing semantics for discrete abstractions, open-world mission planning, and continuous flexible interaction with autonomous systems. His cumulative body of work has earned over 200 citations, establishing him as a meaningful contributor to the field of correct-by-construction robot control and laying important groundwork for trustworthy, communicative autonomous systems.

Research Focus

Key Achievements

Top Papers

1. 1
   Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language

   55 citations · 2013
2. 2
   Provably correct reactive control from natural language

   52 citations · 2014
3. 3
   Provably-correct robot control with LTLMoP, OMPL and ROS

   25 citations · 2013
4. 4
   Make it So: Continuous, Flexible Natural Language Interaction with an Autonomous Robot

   24 citations · 2012
5. 5
   Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control

   16 citations · 2015
6. 6
   Correct high-level robot control from structured English

   15 citations · 2012
7. 7
   Temporal logic robot mission planning for slow and fast actions

   14 citations · 2012
8. 8
   Open-world mission specification for reactive robots

   5 citations · 2014
9. 9
   Designing reactive robot controllers with LTLMoP

   5 citations · 2011

Key Collaborators

Contact & Links