Maria A Schett

Welcome to my website!
contact. per mail PGP


I am currently pursuing a PhD @ InfoSec / PPLV @ CS @ UCL supervised by George Danezis and Ilya Sergey. My research interest is verification of consensus protocols. To that end I am immersed in learning Coq with ssreflect flavor.


I have been working on the research projects:



Summer Schools

I attended the summer schools:

Research Events

I attended the following events:


Grants and Awards

Teaching Assistant

I was/am a teaching assistant in the following bachelor courses:


I share many things with my partner Julian Nagele. For things we want to share in the future, and if you want to join in, download our list of ideas (password is the name of our hoover robot).

Albeit not very fast, I am still an enduring runner. I have participated in and would recommend the following races:

Mi lernas Esperanton, and I dance ballet at the The Place.

View my profile on LinkedIn.