Formalising and providing security guarantees via typing across language and security boundaries in diverse environments.
Event details
| Date | 01.07.2021 |
| Hour | 16:00 › 18:00 |
| Speaker | Ergys Donna |
| Category | Conferences - Seminars |
EDIC candidacy exam
exam president: Prof. Rachid Guerraoui
thesis advisor: Prof. Mathias Payer
co-examiner: Prof. Martin Odersky
exam president: Prof. Rachid Guerraoui
thesis advisor: Prof. Mathias Payer
co-examiner: Prof. Martin Odersky
Practical information
- General public
- Free