Ulrich Kühne
Research
Teaching
Publications
Contact
Teaching
January 30, 2017
Posted by
Ulrich
Winter 2016-2017
SE204
: Architectures numériques et programmation des FPGA
SE303
: Conception des systèmes sur puces (SoC)
FC
: Sécurité des systèmes embarqués
PACT
: Projet d'apprentissage collaboratif thématique
Summer 2017
ELECINF102
: Processeurs et Architectures Numériques
SE206
: Modélisation, génération de code et vérification
CV in a Nutshell
SEN Télécom ParisTech
LSV ENS de Cachan
Univ. of Passau
AGRA Univ. of Bremen
Research Topics
Security
Formal methods
Hardware verification
Hybrid automata
Embedded systems
