Orna Kupferman
Mots clés
FR |
EN
Théorie des jeux
Synthèse
Model Checking
Verification
Jeux
Synthèse de haut niveau (informatique)
Génie logiciel
Architecture des réseaux d'ordinateurs
Sous-programmes (logiciels)
Automates à registres
Transducteurs à registres
Synthèse réactive
Problème de Church
Mots de données
Domaines de données
Transducteurs asynchrones
Calculabilité
Continuité
Thèse de Church
Fonctions calculables