Manuela research

Manuela’s research is at the border between mathematics, computer science and engineering.

Major research themes: dynamic optimization, safety, uncertainty and holistic modelling.

Original concepts introduced by Manuela and co-workers:

  • Hilbertean formal methods
  • Stochastic reachability analysis
  • Contigenous systems
  • Nonsequitur behaviour analysis