Damien Pous
Mots clés
FR |
EN
Langages de programmation -- Sémantique
Preuve formelle
Automates
Bisimulation
Preuves cycliques
Complexité de calcul (informatique)
Analyse statique
Concurrence
Algebres de Kleene
Reecriture
Circuits
Assistants de preuve
Calcul numérique rigoureux
Approximations polynomiales rigoureuses
Validation a posteriori
Méthodes symboliques-numériques
Fonctions D-finies
Aérospatial
Arithmétique des ordinateurs
Calcul formel