| Acronym |
COMPUTR |
| Main objective |
* To obtain novel results about new computational models, especially those involving computation with real numbers.
* To obtain new results about the computational complexity of control theory and verification problems.
|
| Reference |
none |
| Name |
COMPUTR : Calcul en temps continu sur les réels |
| URL |
Click here |
| Funding |
INRIA |
| Start date |
01-01-2010 |
| Ending date |
01-01-2011 |
| Team |
Daniel da Silva Graça; Emmanuel Hainry; Olivier Bournez; Manuel Lameiras de Figueiredo Campagnolo; Carlos Eduardo Ramos dos Santos Lourenço; Jean-Yves Marion; Mathieu Hoyrup |
| Groups |
; Security and Quantum Information –Lx |
| Partners |
INRIA - Institut national de recherche en informatique et automatique; LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications |
| Local coordinator |
Daniel da Silva Graça |
| Other contributers |
--- |
