Research Interests

Topological dynamics

  • Fixed-point theories of Lefschetz and Nielsen
  • Conley index theory
  • Homo/heteroclinic tangles and trellises
  • Forcing relations of horseshoe orbits

Control and systems theory

  • Foundations of hybrid systems theory
  • Observability and realisation of (piecewise-affine) hybrid systems
  • Verification of nonlinear hybrid automata
  • Model order reduction
  • Complex systems


  • Computable analysis and topology
  • Computable semantics for systems and logics
  • Rigorous computations for nonlinear systems