Academic History

TU Wien

• Project Leader of the FWF project Reasoning about Knowledge in Byzantine Distributed Systems hosted at the Embedded Computing Systems Group (Institute of Computer Engineering). 07/2020–present.

• Project Assistant funded by the FWF grant Gracefully Degrading Agreement in Directed Dynamic Networks in the Embedded Computing Systems Group (Institute of Computer Engineering). 02/2020–06/2020.

• Project Assistant funded by the FWF project High-dimensional statistical learning: New methods to advance economic and sustainability policies in the Institute of Computer Engineering. 08/2019–01/2020.

• Project Assistant funded by the FWF RiSE/SHiNE Project Part Reconciling Distributed and Real-Time Computing in the Embedded Computing Systems Group (Institute of Computer Engineering). 05/2017–07/2019.

• Project Assistant funded by the FWF START grant Non classical proofs: theory, applications and tools in Theory and Logic Group (Institute of Computer Languages, later Institute of Logic and Computation). 05/2017–04/2019.

• Project Assistant funded by the FWF project A Logical Framework for Dialogue Games in the Theory and Logic Group (Institute of Computer Languages). 02/2017–04/2017.

• FWF Lise Meitner Fellow funded by the FWF Lise Meitner grant Nested Sequents for Interpolation and Realization in the Theory and Logic Group (Institute of Computer Languages). 02/2015–01/2017.

• Project Assistant funded by the FWF START project Non classical proofs: theory, applications and tools in Theory and Logic Group (Institute of Computer Languages). 12/2014–01/2015

• Project Assistant funded by the FWF project A Logical Framework for Dialogue Games in the Theory and Logic Group (Institute of Computer Languages). 09/2014–11/2014.

• Project Assistant funded by the FWF START project Non classical proofs: theory, applications and tools in Theory and Logic Group (Institute of Computer Languages). 06/2014–08/2014.