(last amended: 2011-09)
| 16.7.2010 | Habilitation in Mathematics, U. Vienna. |
| 28.9.2004 | PhD (Dr. Rer. Nat.) in Mathematics, U. Vienna, with Auszeichnung (distinction). Adviser: M. Goldstern. |
| 7.4.2003 | Graduate Engineer degree (Dipl. Ing.) in Computational Logic, TU Vienna, with Auszeichnung (distinction). |
| 13.1.2000 | Master's degree (Mag. Rer. Nat.) in Mathematics, U. Vienna, with Auszeichnung (distinction). |
| 24.6.1999 | Master's degree (Mag. Phil.) in logic (Logistik), U. Vienna, with Auszeichnung (distinction). |
| 1992–2004 | Studies in mathematics, physics and logic at the University of Vienna (U. Vienna) and computer science and computational logic at the Vienna University of Technology (TU Vienna). |
| since 2008 | Assistent at the Kurt Gödel Research Cener (KGRC), U. Vienna.
2011/09-2012/08 on leave (parental leave and work on research project) |
| 2006–2008 | Marie Curie fellow (postdoc) at the Einstein Institute of the Hebrew U. Jerusalem, Israel. |
| 2006 | Assistent at the KGRC, U. Vienna. |
| 2004–2005 | Assistent at the Institute of Discrete Mathematics and Geometry, TU Vienna. |
| 2003–2004 | Research position (FWF) at the Institute for Medical Statistics, U. Vienna |
| 1995–1998 | Tutor (teaching assistent) at the Institute of Mathematics, U. Vienna. |
| 2012/01–2014/12 | Austrian Science funds FWF grant P23875 Forcing, creatures and large continuum (297 360 EUR). |
| 2012/01 | Austrian Science funds FWF Joint Seminar AJS336-N13 Forcing in set theory (10 000 EUR). (paired with a JSPS project led by Sakae Fuchino; for a seminar in Kobe, Japan.) |
| 2009/06–2012/03 | Austrian Science funds FWF grant P21651 Many precipitous ideals (75 000 EUR). |
| 2008/09–2011/08 | European Union FP7 Marie Curie ERG grant 224747 Class forcing (45 000 EUR). |
| 2006/09–2008/08 | European Union FP6 Marie Curie IEF grant MEIF-CT-2006-024483 Definable forcing (154 651 EUR). |
| 2004 | Golda Meir postdoctoral fellowship, Hebrew U. of Jerusalem. |
| 2001–2002 | Two-year DOC doctoral scholarship of the Austrian Academy of Sciences. |
| 2001 | Scholarship of the Akademisch-soziale Arbeitsgemeinschaft for a three month stay in the US (Rutgers U., NJ and UC Berkeley, CA). |
| 1997 | Kurt Gödel scholarship of the Austrian Ministry of Science to study abroad, spent one semester at U. Sydney, Australia. |
| 1993–1996 | Prizes for Academic Excellence, U. Vienna. |
| 1992 | First place in the mathematics Olympics Vienna, second place in the physics Olympics Vienna. |
Pre-Doc:
About 14 invited seminar talks (at Rutgers U., Hebrew U., Tel Aviv U., Helsinki U., Nagoya U., Kobe U., U. Vienna and TU Vienna). Participation in numerous conferences, including invited talks at the Midrasha Mathematicae, IAS Hebrew U, 2004, and the Oberwolfach set theory workshop 2008.
Referee for J. Symbolic Logic, Arch. Math. Logic and Ann. Pure Appl. Logic; reviewer for Math Reviews and Zentralblatt. Participation in organizing several conferences in Vienna, including ESSLI 2003 (co-chair), Horizons of Truth 2005 (organizing committee) and ESI set theory workshop 2009 (main organizer).