Ulrich Kühne est Maître de Conférences en sécurité matérielle des systèmes embarqués dans le département COMELEC à Télécom Paris.

Ulrich a soutenu sa thèse sur la vérification formelle de processeurs embarqués en 2009 à l’Université de Brême en Allemagne. Il a ensuite passé deux années comme chercheur postdoctoral au LSV à l’ENS de Cachan, avant d’intégrer le groupe Systèmes Electroniques Numériques (SEN) à Télécom Paris en 2016.

Ses domaines de recherche sont la sécurité matérielle, méthodes formelles et systèmes hybrides.

Il est l’un des référents de l’Axe 4 – Résilience by design.

Voir son site