 Project Assistant funded through the Austrian Science Fund (FWF)'s RiSE/SHiNE Project Part Reconciling Distributed and RealTime Computing in Embedded Computing Systems Group (E182/2), Institute of Computer Engineering (E182), TU Wien. May 2017  present
 Project Assistant funded by the FWF START grant Non classical proofs: theory, applications and tools in Theory and Logic Group (E185/2), Institute of Computer Languages (E185), TU Wien (formerly translated as Vienna University of Technology). June  August 2014, December 2014  January 2015, and May 2017present.
 Project Assistant funded by the FWF grant A Logical Framework for Dialogue Games in Theory and Logic Group (E185/2), Institute of Computer Languages (E185), TU Wien (formerly translated as Vienna University of Technology). September  November 2014 and FebruaryApril 2017.
 FWF Lise Meitner Fellow funded by the FWF Lise Meitner grant Nested Sequents for Interpolation and Realization in Theory and Logic Group (E185/2), Institute of Computer Languages (E185), TU Wien (formerly translated as Vienna University of Technology). February 2015  January 2017.
 Research Assistant. Logic and Theory Group (LTG), Institute of Computer Science and Applied Mathematics (IAM), University of Bern. January  February 2014.
 SNSF Ambizione Fellow funded by the SNSF Ambizione grant Refining Reasoning via Justification Extraction: A ProofTheoretic Approach in Logic and Theory Group (LTG), known until 12/11 as Research Group for Theoretical Computer Science and Logic (TIL), Institute of Computer Science and Applied Mathematics (IAM), University of Bern. January 2011  December 2013.

Assistant. Research Group for Theoretical Computer Science and Logic (TIL), Institute of Computer Science and Applied Mathematics (IAM), University of Bern. October  December 2010.

Postdoctoral Researcher funded by the SNSF grant Structural proof theory and the logic of proofs in Research Group for Theoretical Computer Science and Logic (TIL), Institute of Computer Science and Applied Mathematics (IAM), University of Bern. May 2008  September 2010.

Ph.D. student. Ph.D. Program in Computer Science, Graduate Center of the City University of New York (CUNY). August 2002  May 2008.
Awarded Master of Philosophy in October 2007.
Awarded Ph.D. in May 2008.
Thesis: Complexity Issues in Justification Logic. Adviser: Sergei Artemov.

