- 2003 - 2007 Ph. D. student at Cornell University.
- 2007 - Ph. D. in Computer Science.
- 2006 - M. S. in Computer Science.
- 1997 - 2003 student at Warsaw
University, Department of Mathematics, Computer Science and Mechanics.
- 2003 - M. S. in Mathematics. Thesis on model-theoretic proofs of
Godel's Second Theorem.
- 2002 - M. S. in Computer Science Summa Cum Laude. Thesis on one-rule string
- 2000 - B. S. in Mathematics
- 2000 - B. S. in Computer Science