• Geometrie in WS 2010/11
• Diskrete Strukturen in SS 2010
• Geometrie in SS 2009
• Zahlentheorie in WS 2008/09
• Discrete Structures in SS 2008
• Number theorey in WS 2007/2008
• Linear Algebra 2004/2005 and 2005/2006
• Sprechstunde : nach Vereinbarung per email

• 2004-2007 fellow of the Marie Curie Framework 6 Early Stage Training Program (read more on this here).
• 2004 - Master Thesis in Grid Computing supervised by Prof. Dr. Dana Petcu. The thesis, entitled, "Interconnecting Computer Algebra Systems within the Grid", is available for download.
• 2002-2004 - Master Studies in Paralel and Distributed Computing at the Faculty of Mathematics and Computer Science from West University, Timisoara, Romania.
• 2003, Nov-2004, Sept - Junior reasearcher at the Reasearch Institute eAustria Timisoara - IeAT
• 2002, Oct.-2004, Oct - Instructor at the Department of Computer Science from the Faculty of Mathematics and Computer Science, West University, Timisoara, Romania. Seminars at Mathematical Basis of Computer Science, Computational Logics, Introduction to C programming.
• 2002 - BSc Diploma was cosupervised in Linz and Timisoara. Supervisor from the Research Institute for Symbolic Computation RISC, Linz, Austria - Prof. Dr, Tudor Jebelean. Supervisor from the Faculty of Mathematics and Computer Science in Timisoara, Romania - Prof. Dr. Viorel Negru. Diploma was in the area of Automated Theorem Proving, investigating the way of achieving natural style for resolution proofs and integrating components of this into Theorema, the Automated Theorem Prover developed at the Research Institute for Symbolic Computation, Linz, Austria.
• 1998-2002 - Undergraduate studies at the West University from Timisoara, Romania, Faculty of Mathematics and Computer Science . Licentiate in Mathematics and Computer Science.
• 2001, Sept-2002, March - In the 7 ^th semester Erasmus-Socrates Scholarship at Johannes Keples Universitaet, Linz, Austria.

• My PhD Thesis in pdf format.
• Program Extraction from Proofs.
  Emphasis on classical proofs and A-translation coupled with modified realizability.
• Automated Theorem Proving
• Formerly: Grid Computing
• Publications

Address:

e-Address:

Telephone:

Office: