The scope of the present project is the verification of properties of safety-critical software. Our
Past Research Projects
Duration: 36months
Start date:
Recent international and national mathematics curriculum guidelines indicate the development of stud
Duration: 36months
Start date:
Financial Support: 90 000EUR
BREUDS is a research partnership between leading European and Brazilian research groups in dynamical
Duration: 48months
Start date:
Financial Support: 707 700EUR
In general terms the goal of this project is to study statistical properties of Dynamical Systems (D
Duration: 42months
Start date:
Financial Support: 40 000EUR
Internal Coordinator: Jorge Freitas
Os sistemas de células acopladas (SCA) são formados por sistemas dinâmicos individuais (as célul
Duration: 38months
Start date:
Financial Support: 29 760EUR
Internal Coordinator: Ana Paula Dias
In the last decades uniformly hyperbolic systems have played an important role in the development of
Duration: 42months
Start date:
Financial Support: 77 840EUR
Internal Coordinator: José Ferreira Alves
The use of differential geometry to understand topological properties precedes the formal establishm
Duration: 36months
Start date:
Financial Support: 100 000EUR
Internal Coordinator: Peter Gothen
Automata theory is a fundamental part of Computer Science that was intensively studied during the 19
Duration: 45months
Start date:
Financial Support: 90 000EUR
Internal Coordinator: Rogério Reis
This is a project in Mathematics with applications to Biology. There are three main goals in this pr
Duration: 36months
Start date: