Rasmus Birkedal

Rasmus Birkedal

Ph.d.-studerende

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 324, rum 160

2800 Kgs. Lyngby

Tlf.
Mobil
E-mail rabi@dtu.dk

Få tilsendt vCard på e-mail.

Projekter
Loading

Projekter rss feed

Formal methods for Secure Trust Infrastructures

Birkedal, Rasmus
Main Supervisor: Mödersheim, Sebastian Alexander
Superv.: Lluch Lafuente, Alberto

Type: PhD    |     Projektstatus: Current
Financing source: Internal funding (public)    |    Research programme: Samfinansieret - Andet

2016-2019