Education:

• 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 rewriting systems.
  • 2000 - B. S. in Mathematics
  • 2000 - B. S. in Computer Science