PhD student at TU Wien. Interested in beautiful computer science, formal methods and hyperproperties.
Proud producer of linktr.ee/thebrowniannot….

ID: 1512110837653245965

linkhttps://logic-cs.at/phd/students/ana-oliveira-da-costa/ calendar_today07-04-2022 16:52:06