Recent news
  • Introducing...

The REMARO ETN is a consortium of recognized submarine AI experts, software reliability experts, and a marine safety certification agency created to educate 15 ESRs able to realize the vision of reliable autonomy for underwater applications.


REMARO attacks one of the most pressing problems of modern computing, the safety of AI, in the well defined context of submarine robotics.


The REMARO research fellows will develop the first ever submarine robotics AI methods with quantified reliability, correctness specifications, models, tests, and analysis & verification methods.

General News

International Workshop on Reliability Engineering Methods for Autonomous Robots – REMARO 2024

We are pleased to announce our REMARO workshop at ETAPS 2024! 🎉 The goal of ...

Read More »

Reading Group on Introductory Formal Methods

We are happy to announce that our reading group is being prepared! The first day ...

Read More »

Can we rely on AI-controlled underwater robots?

What happens in the brain of AI-based robots operating under water? Researchers will investigate this question in a new European Horizon 2020 research project. Experts in AI and reliability analysis will cooperate with companies developing underwater robots.

Read More »