University Assistant, MSc Institute of Logic and Computation Formal Methods in Systems Engineering TU Wien Favoritenstraße 9–11 1040 Wien, Austria Room: HA0309 Email: ta.ca.neiwutnull@nessein.saibot Website: tniessen.me

Research Interests
Hoare-style Logics, Model Checking, Hyperpropery Verification

Current Position
I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the Formal Methods in Systems Engineering group under the supervision of Prof. Georg Weissenbacher.

Education
MSc in Computer Science, Leibniz Universität Hannover, 2021
Master of Computer Science, University of New Brunswick, 2020
BSc in Computer Science, Leibniz Universität Hannover, 2018

Publications
For an up-to-date list of publications, please visit TU Wien Informatics | Tobias Nießen.