This project aims to make robot programming easy and accessible.


This technology project centers on the creation of a high-level, standardized declarative language for robot programming. With this new language, workers of any skill level will be able to specify robot commands and can use automated tools to translate functional specifications into procedural code to execute tasks in various robotic platforms.


Creation of a standardized declarative language for robot programming, lowing the barriers to entry for careers in robotics and manufacturing.

Technical Approach

This project will define and test a framework for high-level functional specification of the behavior of robotic systems, making robot programming easy and accessible to workers of all levels. Behaviors are specified in a functional abstractions specify what a robot should do in a vendor and a platform-independent way. High-level programs are mapped to sequences of low-level instructions for new targets without writing translation rules from scratch, but by reusing existing morphisms in other categories. The planned system consists of three primary components:

  • Goal-oriented functional programming interface
  • Functional interoperable compiler
  • Upward mappings from robot platforms to a communication protocol


Siemens (Principal Investigator), University of Maryland