Miriam Polzer
Angestellt, Wissenschaftlicher Mitarbeiter, Friedrich-Alexander Universität Erlangen-Nürnberg
Erlangen, Deutschland
Werdegang
Berufserfahrung von Miriam Polzer
Bis heute 6 Jahre und 6 Monate, seit 2018
Wissenschaftlicher Mitarbeiter
Friedrich-Alexander Universität Erlangen-Nürnberg
Combining category theory, logics and formal methods in software engineering to investigate verification properties of isolated program effects (e.g. memory management).
2016 - 2018
Co-Founder
CouchpotatoZ GmbH
Developing part of a leisure activities platform doing full stack web development in Vaadin, a Java framework.
Ausbildung von Miriam Polzer
2015 - 2018
Computer Science
Friedrich-Alexander-Universität Erlangen-Nürnberg
Program Verification, Logics and Category Theory
Sprachen
Portugiesisch
Grundlagen
Englisch
Fließend
Deutsch
Muttersprache