Search for European Projects

"As software becomes ever more ubiquitous in our lives, the need to ensure it runs without error becomes ever more important. Restarting a phone is a simple, if inconvenient task; restarting an aeroplane in mid-flight is not an option!Correct by construction programming offers a revolutionary approach to program verification where programs can contain not just computations as is normal, but also ...

Statistical models are used in phylogenetics to recover the evolution of species. These models are generally highly complicated and the inference involves using some fragile numerical algorithms. The proposed project aims at an in-depth study of phylogenetic models from a mathematical point of view. We find it convenient to take a perspective of algebraic statistics, which is an emerging field foc ...