|
2006 to present | Senior Researcher, Research
Institute for Symbolic Computation (RISC), Johannes Kepler
University Linz, Austria
- Research on Combinatorial Species and their
implementation in Aldor
- Research on Categorial Programming and Literate
Programming in the context of computer algebra
- Maintenance of Scientific Software developed at RISC
|
|
2003 to 2006 | University assistant, Research
Institute for Symbolic Computation (RISC), Johannes Kepler
University Linz, Austria
- Research on differential and difference algebra, Ore
algebras and their applications, computer analysis
- Research on Combinatorial Species and their
implementation in Aldor
- Research on Categorial Programming and Literate
Programming in the context of computer algebra
|
|
1997-2003 | Research assistant, Research
Institute for Symbolic Computation (RISC), Johannes Kepler
University Linz, Austria
- Research on differential and difference algebra,
computer analysis
- Research on polynomial involutive bases
- Development and maintenance of the
library web
interface of RISC-Linz
- Maintenance of
CASA
(Computer Algebra Software for Algebraic Geometry in Maple)
|
|
1996-1997 | Research assistant, Institut
für Informatik,
University of Leipzig, Germany
- Research on solving polynomial systems by use of
continuous symmetries and the Gröbner factorisation algorithm
- Implementation of a generic Gröbner basis
algorithm in Aldor
|
|
1994 to present | Beta-tester of the Aldor (Asharp, AxiomXL)
compiler |
|
1993 | Working student (Werkstudent), IBM Scientific Center
Heidelberg, Germany
- Software development in the computer algebra system
Axiom (Gröbner bases, concept analysis, Todd-Coxeter algorithm)
|
|
1992 | Working student, Siemens-Nixdorf
München, Germany
- Software development in C for the network management software
TRANSVIEW-SNMP
|
|
1986-1989 | Military service |
|
1986 | Programmer, Büromaschinenwerk Sömmerda, Germany |
|
|
