Paolo Torrini

I work as a research assistent (wissenschaftlicher Mitarbeiter) in the DFG funded project Safe Robotics (old page), for the part that concerns the formal development and verification in Isabelle-HOL of programs that control, in general, safety-critical behaviours of robots, and in particular, the collision avoidance and safety of the Bremen Autonomous Wheelchair.

The current state in the formal development of the safety module for the BAW - still very much in progress - is documented in SoA.