Former Member

Mag. DI Dr. Markus Rosenkranz

< back
Research Scientist Symbolic Computation

Short Curriculum Vitae

  • Married, one child

  • September 1997: Dipl.-Ing. (Auszeichnung), Stzw. Mathematik in den Naturwissenschaften at Johannes Kepler University Linz, Austria
  • January 1998: Mag., Lehramt Mathematik/Physik at Johannes Kepler University Linz, Austria
  • September 2003: Dr. techn. (Auszeichnung) at Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria
  • November 2010: Postgraduate General Certificate of Higher Education (PGCHE) at University of Kent, Canterbury, UK
Former and Current Positions:
  • January 2010-present: Lecturer in Mathematics, University of Kent, School of Mathematics, Statistics & Actuarial Science (SMSAS), Canterbury, UK
  • July 2004-December 2009: Research Fellow, Austrian Academy of Sciences, Radon Institute for Computational & Applied Mathematics (RICAM), Linz, Austria
  • April 2004-September 2008: Research Associate (SFB Project F1322),Johannes Kepler University, Research Institute for Symbolic Computation (RISC), Linz, Austria
  • September 2003-June 2004: High School Teacher (Unterrichtspraktikum Math./Phys.), Georg von Peuerbach Gymnasium, Linz, Austria
  • Spring 2002: Visiting Researcher, Radboud University, Dept. for Foundations of Math. & Comp. Sci., Nijmegen, Netherlands
  • July 2000-September 2003: Research Assistant (SFB Project F1302), Johannes Kepler University, Research Institute for Symbolic Computation (RISC), Linz, Austria
  • August 1998-June 2000: Mathematical Programmer, Johannes Kepler University, Institute / Competence Center for Industrial Mathematics, Linz, Austria

Research Interests

  • Algebraic Boundary Problems and Integral Operators
  • Symbolic Methods for Differential Equations
  • Computer Algebra, Mathematical Software and Automated Theorem Proving