Maria A Schett

Welcome to my website!
contact. per mail PGP


In November 2017 I have started my PhD with Ilya Sergey @ PPLV @ CS @ UCL.

I am currently working on 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:

Además estoy aprendido español, and I danced ballet at the Tanzacademy.

View Maria A Schett's profile on LinkedIn