maria-a-schett.net - Maria A Schett

home > domains > maria-a-schett.net

Example domain paragraphs

I am excited about starting at Project Oak @ Google . co-chairing the CAV Artifact Evaluation 2022 with my co-chair Daniel Dietsch reviewing for the Student Research Competition @ PLDI 2022 passing my viva with minor corrections! Special thank you to my amazing examiners Diego Marmsoler and Mehrnoosh Sadrzadeh .

I am currently pursuing a PhD @ InfoSec / PPLV @ CS @ UCL supervised by George Danezis and David Pym .

My current research interest are blockchain- and block DAG protocols . superoptimizing EVM bytecode with our tools ebso and syrup_backend and generate optimization rules with our tools sorg and ppltr (here is a fun video about it).

Links to maria-a-schett.net (2)

• jnagele.net Julian Nagele
• danez.is George Danezis's HomePage