 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). May 2015  present.
 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), Vienna University of Technology. February  May 2015.
 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), Vienna University of Technology. December 2014  January 2015.
 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), Vienna University of Technology. September  November 2014.
 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), Vienna University of Technology. June  August 2014.
 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, formerly TIL), Institute of Computer Science and Applied Mathematics (IAM), University of Bern. January 2012  December 2013.
 SNSF Ambizione Fellow funded by the SNSF Ambizione grant Refining Reasoning via Justification Extraction: A ProofTheoretic Approach in Research Group for Theoretical Computer Science and Logic (TIL), Institute of Computer Science and Applied Mathematics (IAM), University of Bern. January  December 2011.

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.

