cv
This is a description of the page. You can modify it in '_pages/cv.md'. You can also change or remove the top pdf download button.
Basics
| Name | Diego Marmsoler |
| Label | Lecturer (E&R) |
| d.marmsoler@exeter.ac.uk | |
| Url | https://marmsoler.com |
| Summary | Formal Methods Researcher |
Work
-
2020.01 - Present Lecturer (E&R)
University of Exeter
As part of the Cyber Security: Security and Trust of Advanced Systems group I am researching on possibilities to apply Formal Methods for the verification of security aspects, especially in the context of Blockchain.
Education
-
2013.03 - 2019.02 Munich, Germany
Languages
| German | |
| Native speaker |
| English | |
| Fluent |