

| 02.2012- | Postdoc in the Computational Logic Group, at the University of Innsbruck. |
| 08.2010-01.2012 | JSPS Researcher in the Score Group, at the University of Tsukuba. |
| 08.2009-06.2010 | Postdoc in the Nominal Group, at the Technical University Munich. |
| 08.2005-07.2009 | Junior researcher at Radboud University, the Netherlands. PhD studies under supervision of Freek Wiedijk with Herman Geuvers as promotor. |
| 09.2004-06.2005 | Socrates-Erasmus scholarship to the Metz University, France. |
| 09.2000-06.2005 | M.Sc. studies in Computer Science at the Warsaw University, Poland. |
| 09.2000-06.2004 | B.Sc. studies in Mathematics, Warsaw University. |
| 09.1996-05.2000 | Bednarska High School in Warsaw finished with honors. |
| 08.1981 | Born in Warsaw, Poland. |