Logo
User: Guest  Login
Projektleitung:
Prof. Peter Hertling
Institut:
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research 
Fakultät:
Fakultät für Informatik 
Projektbezeichnung:
COMPUTAL 
Projektbeschreibung:
The programme of this interaction will focus on the following related topics: computable analysis, domain theory, topology, and exact real number computation, hereby dealing with both theoretical and applied aspects. A major motivation for undertaking this research is the fact that in safety-critical applications it is not sufficient to produce software that is only tested for correctness: its correctness has to be formally proven. This is also true in Scientific Computing. The problem here is t...    »
 
Drittmittelgeber:
EU FP7 Marie Curie IRSES 
Datum Projektbeginn:
01.02.2012 
Datum Projektende:
31.01.2016