Study title

Computer simulation is an important tool in many areas of science. Increasingly complex mathematical models are being solved in large computer simulations, complementing and sometimes replacing traditional experimental techniques as the main tool of scientific investigation. In any such computer simulation, it is pivotal that the quality of the computed solution may be determined. However, the assessment of the quality of a computed solution is challenging, both mathematically and computationally. As a consequence, the quality of the solution must often be assessed manually by the scientist or engineer running the simulation. This is unreliable as well as time-consuming, and it effectively prevents computer simulation from realizing its full potential asa standard tool in science and industry. The aim of the proposed research is to develop a general methodology for automated computation and error control, with special emphasis on fluid-structure interaction problems in biomedicine. The aim is also to realize the methodology in free software components that are accessible to practitioners, including medical doctors. Currently, no such tools exist and the relevance and potential impact of the proposed research is therefore very large. The research will be carried out in collaboration with research groups in Norway, Sweden, the Netherlands and the USA. Data are freely available for downloading from: https://bitbucket.org/fenics-project/ and https://bitbucket.org/simula_cbc/cbcflow