The main topic of my research is the unified and constructive treatment of systems of algebraic and differential equations (in particular under- and overdetermined systems) based on the central notion of involution (see my monograph with the same title) combining algebraic, combinatorial, homological and geometric ideas. I am interested in both obtaining a deeper theoretical understanding of this concept and applying it to various fields. On the theoretical side, I am studying questions in the formal theory of differential equations like existence and uniqueness of solutions, completion to involution or geometric singularities and constructive problems in commutative algebra (in particular, the use of Pommaret bases for the study of polynomial modules). The applications concern mainly mathematical physics (geometric mechanics, systems with constraints, gauge theories) and the analysis of differential algebraic equations with a current emphasis on systems arising in biochemical reaction networks (in particular, stability, oscillation and bifurcation questions). More details can be found in my publications.

The following short survey over some recent works may give an impression of the main emphasis of our current research:

• We study singularities of general systems of differential equations combining techniques from differential algebra, algebraic geometry and differential topology. In the recent article [94] , a general framework for the algorithmic detection of all singularities of a given equation over the complex numbers (a real version can be found in [45] ) has been developed. Before, we analysed in detail the existence, (non)uniqueness and regularity of solutions of a class of quasilinear second-order ordinary differential equations for initial data prescribed at a singularity in [93] . As support for this research, we developed a Matlab package for the numerical visualisation of some low-dimensional situations [42] .
• A key topic in our biological applications is the detection of oscillations. In an earlier project, we developed algorithms for effectively proving the appearance of Hopf bifurcations [33] . Within the Symbiont project, we were generally concerned with the development of symbolic methods for biological networks. A description of the project was published in [38] . Already in the preparation for the research training group Biological Clocks on Multiple Time Scales, I participated in a study of the population dynamics of diatoms; first results can be found in [50] and a survey in [50] . Now, I am working with a Ph.D. student on questions related to symmetries, conservation laws and model reduction.
• We are much interested in using Pommaret bases for the determination and analysis of free resolutions of polynomial modules. In [32] we combined them with discrete Morse theory to obtain efficient algorithms capable of determining individual Betti numbers. Some further results in this direction can be found in [36, 43, 79] .
• A general problem in the use of Pommaret bases is the fact that they only exist in generic coordinates. An in-depth study of this problem can be found in [35] , but it was also important in [39, 78] . A highlight [41] was the use of Pommaret bases for the analysis of Hilbert and Quot schemes. Again the coordinate dependence played a crucial role. We are now working on an extension to such schemes over quotient rings [41] .
• A fairly recent topic for me are complexity questions in commutative algebra. [40, 86] contain some general results on bounds for Gröbner bases using techniques from involutive bases. In [44] we provided the first complexity results for involutive bases.

My work has been funded by various grants mainly from Studienstiftung des Deutschen Volkes (German National Scholarship Foundation), from Deutsche Forschungsgemeinschaft (DFG) (German Science Foundation) and from the European Commission.

At national level, I was from 2009 to 2016 a member of the steering group of the Special Priority Programme Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory (SPP 1489). Within this programme, I conducted jointly with my colleague Andreas Weber (Universität Bonn) the project Bifurcations and Singularities of Algebraic Differential Equations (BISADE). Later, I participated with my group in the project Symbolic Methods for Biological Networks (SYMBIONT) which may be considered as a successor of BISADE. It was a German-French project with participants in Aachen, Bonn, Lille, Montpellier, Nancy and Paris (a poster describing the project is available here). Currently, I am a member of the DFG research and training group Biological Clocks on Multiple Time Scales. In addition, I have received various grants for international collaborations with groups in Dubna, Genoa, Plymouth, Tbilissi and Torino, for the organisation of conferences like CASC and ACA and for guest scientists from Russia, Iran and Italy.

The following list contains students who have written or are writing theses under my supervision.

• Undergraduate Theses (Bachelor, Master, Diploma, etc.)
  • Moritz Rieger: Points, Vectors and Affine Maps in Analytic Geometry; teacher thesis project, Institut für Mathematik, Universität Kassel 2023
  • Marco Czech: Mathematical Foundations of Public Key Cryptography; teacher thesis project, Institut für Mathematik, Universität Kassel 2023
  • Samer Aljerf: Modular Computations with Applications in Coding Theory; teacher thesis, Institut für Mathematik, Universität Kassel 2023
  • Malvin Xibraku: Dirac Theory for Systems with Constraints; master thesis; Universität Kassel 2022
  • Filip Skrentny: Janet Bases and Trees in CoCoA; master thesis; Universität Kassel 2022
  • Rüdiger Nather: Recursive Computation of Pommaret bases; master thesis, Institut für Mathematik, Universität Kassel 2022
  • Rüdiger Nather: Visualisation of solutions of ordinary differential equations with complex time variables; bachelor thesis, Institut für Mathematik, Universität Kassel 2021
  • Marvin Brandenstein: Triangular sets in commutative and differential algebra; master thesis, Institut für Mathematik, Universität Kassel 2021
  • Nico Burmeister: Qualitative Analysis of Continuous and Deterministic Models of Population Dynamics; teacher thesis, Institut für Mathematik, Universität Kassel 2020
  • Alice Moallemy: Primary Decomposition and Quasi-Stability; master thesis, Institut für Mathematik, Universität Kassel 2020
  • Oliver Koch: In-silico Vorhersage peroxisomaler Matrixproteine im Proteom von Dictyostelium discoideum; bachelor thesis, Institut für Biologie, Universität Kassel 2020 (joint supervision with Markus Maniak)
  • Thomas Izgin: The Involutive GVW Algorithm and the Computation of Pommaret Bases; master thesis, Institut für Mathematik, Universität Kassel 2020
  • Filip Skrentny: The Gröbner Walk; bachelor thesis, Institut für Mathematik, Universität Kassel 2019
  • Marco Horn: Theory and Application of Reed-Solomon Codes; teacher thesis project, Institut für Mathematik, Universität Kassel 2018
  • Marvin Brandenstein: On Characteristic Chains and their Applications; bachelor thesis, Institut für Mathematik, Universität Kassel 2018
  • Alice Moallemy: The Computation of the Radical of Polynomial Ideals; bachelor thesis, Institut für Mathematik, Universität Kassel 2018
  • Markus Fülle: Gröbner Bases in Affine Monoid Algebras; bachelor thesis, Institut für Mathematik, Universität Kassel 2018
  • Thomas Izgin: The Computation of Gröbner Bases and Syzygies with the GVW Algorithm; bachelor thesis, Institut für Mathematik, Universität Kassel 2017
  • Julian Körting: Algorithmic Factorisation of Univariate Polynomials over the Integers and over the Rationals; teacher thesis, Institut für Mathematik, Universität Kassel 2017
  • Elishan Braun: Numerical Analysis and Visualisation of Implicit Ordinary Differential Equations; master thesis, Institut für Mathematik, Universität Kassel 2017
  • Maxim Urich: Geometric Theory of Singularity Induced Bifurcations; master thesis, Institut für Mathematik, Universität Kassel 2016
  • Matthias Orth: Constructive Theory of Inverse Systems; master thesis, Institut für Mathematik, Universität Kassel 2016
  • Frederick Mücker: Effective Computations with Module Homomorphisms in the CoCoALib; diploma thesis, Institut für Mathematik, Universität Kassel 2015
  • Sven Nummer: On the Deterministic Modeling of Epidemies and Endemies after Kermack and McKendrick; teacher thesis, Institut für Mathematik, Universität Kassel 2015
  • Matthias Orth: Stable Ideals and Genericity; bachelor thesis, Institut für Mathematik, Universität Kassel 2014
  • Julius Rahaus: Involutive Bases in Clifford Algebras; bachelor thesis, Institut für Mathematik, Universität Kassel 2014
  • Pierre Pytlik: Effective Genericity for Polynomial Ideals; diploma thesis, Institut für Mathematik, Universität Kassel 2014
  • Maxim Urich: Geometric Completion of Differential Algebraic Equations; bachelor thesis, Institut für Mathematik, Universität Kassel 2013
  • Mario Albert: Computing Minimal Free Resolutions of Polynomial Ideals with Pommaret Bases; master thesis, Institut für Mathematik, Universität Kassel 2013
  • Elishan Braun: Discrete Gradient Methods for Hamiltonian Systems with Constraints; bachelor thesis, Institut für Mathematik, Universität Kassel 2013
  • Sebastian Schütz: Combinatorics of Hilbert Functions; diploma thesis, Institut für Mathematik, Universität Kassel 2012
  • Mario Albert: Janet Bases in CoCoA; bachelor thesis, Institut für Mathematik, Universität Kassel 2011
  • Mehdi Sahbi: Pommaret Bases and the Computation of the Koszul Homology in the Monomial Case; diploma thesis, Fakultät für Informatik, Universität Karlsruhe 2007
  • Mehdi Sahbi: The Effective Determination of Delta-Regular Coordinates for Polynomial Ideals; study thesis, Fakultät für Informatik, Universität Karlsruhe 2006
  • Wolfgang Globke: An Object-Oriented Programming Environment for Differential Geometric Computations in MuPAD; study thesis, Fakultät für Informatik, Universität Karlsruhe 2006
  • Marcus Hausdorf: Geometric-Algebraic Completion of General Systems of Differential Equations; diploma thesis, Fakultät für Informatik, Universität Karlsruhe 2000
  • Marcus Hausdorf: A General Symmetry Package for Differential Equations in MuPAD; study thesis, Fakultät für Informatik, Universität Karlsruhe 1999
  • Pavel Lukowicz: Applications of Computeralgebra on Problems in the Statistical Physics of Neural Networks; diploma thesis, Fakultät für Informatik, Universität Karlsruhe 1999
  • Christoph Zenger: Gröbner-Basen for Differential Forms; diploma thesis, Fakultät für Informatik, Universität Karlsruhe 1992
  • Joachim Schü: Implementation of the Cartan-Kuranishi Theorem in Axiom; diploma thesis, Fakultät für Informatik, Universität Karlsruhe 1992
• Ph.D. Theses
  • Rodrigo Iglesias Gonzalez: Resolutions of Monomial Ideals; thesis project, Universität Kassel and Departamento de Matematicas y Computacion, Universidad de La Rioja, Logrono (Spain)
  • Meskerem Abebaw Mebratie: Model reduction via symmetries and conservation laws for systems on multiple time scales; thesis project, Universität Kassel
  • Ivan Morozov: Generation of Human Body Motion by Centralized Networks; Universität Kassel 2023
  • Matthias Orth: Generalized Involutive Bases and Their Induced Free Resolutions; Universität Kassel 2022
  • Christoph Lüders: Algorithmic Reduction of Biochemical Reaction Networks; Universität Kassel and Universität Bonn 2022
  • Maxim Urich: Symmetries of Differential Equations via Vessiot Theory; Universität Kassel 2021
  • Hossein Parnian: Noether Bases and their Applications; Ph.D. thesis, Isfahan University of Technology 2020
  • Bentolhoda Binaei: Efficiency of Computations in Involutive Bases Theory; Ph.D. thesis, Isfahan University of Technology 2019
  • Mario Albert: Involutive Bases, Resolutions and Hilbert Schemes, Universität Kassel and University of Torino 2017
  • Matthias Fetzer: Free Resolutions from Involutive Bases, Universität Kassel 2016
  • Michael Schweinfurter: Deterministic Genericity and the Computation of Homological Invariants, Universität Kassel 2016
  • Hassan Errami: Semi-algebraic Algorithms for Symbolic Analysis of Complex Reaction Networks, Universität Kassel and Universität Bonn 2013
  • Matthias Seiß: Root Parametrised Differential Equations for Groups of Lie Type, Universität Kassel and Universität Heidelberg 2011
  • Eduardo Saenz de Cabezon: Combinatorial Koszul Homology: Computations and Applications; Departamento de Matematicas y Computacion, Universidad de La Rioja, Logrono (Spain) 2008
  • Dirk Fesser: On Vessiot's Theory of Partial Differential Equations; Fachbereich Mathematik, Universität Kassel 2008

In addition, I have been referee or member of the jury for the following theses:

• F. Ollivier: Effective Formal Resolution of Systems of Algebraic Differential Equations, habilitation thesis, Ecole Polytechnique, Paris (France) 2023
• S. Dörsam: Finite Element Simulation of Drugs Spreading in the Vitreous, Ph.D. thesis, Universität Kassel 2022
• A. Desoeuvres: Methods from tropical geometry and interval arithmetics for the analysis of biochemical networks: analysis of homeostasis and model reduction in the presence of conservation laws, Ph.D. thesis, University of Montpellier (France) 2021
• A. Karney: Zum Zusammenhang der Inhaltsbereiche Raum und Form und Zahl und Operation, Ph.D. thesis, Universität Kassel 2021
• B. Teguia Tabuguia: Power Series Representations of Hypergeometric Type and Non-Holonomic Functions in Computer Algebra, Ph.D. thesis, Universität Kassel 2020
• H. Schatz: Automatic Computation of Continued Fraction Representations as Solutions of Explicit Differential Equations, Ph.D. thesis, Universität Kassel 2020
• M. Scheicher: Topics in Multidimensional Behavioural Algebraic Systems Theory, habilitation thesis, Universität Innsbruck 2019
• G. Regensburger: Algebraic and algorithmic approaches to analysis: Integro-differential equations, positive steady states, and wavelets, habilitation thesis, Universität Linz 2019
• K. Fischer: Identification of Special Functions, given by Rodrigues formulas, Ph.D. thesis, Universität Kassel 2016
• V. Levandovskyy: Computer Algebraic Analysis, habilitation thesis, RWTH Aachen 2015
• A. Lakhal: Elimination in Ore Algebras, Ph.D. thesis, Universität Kassel 2014
• J. Tautges: Reconstruction of Human Motions Based on Low-Dimensional Control Signals, Ph.D. thesis, Universität Bonn 2012
• E.O. Abdel-Rahman: Algorithmic Contributions to the Qualitative Analysis of Autonomous Parametric Dynamical Systems, Ph.D. thesis, Universität Bonn 2011
• E. Nana Chiadjeu: Algorithmic Computation of Formal Fourier Series, Ph.D. thesis, Universität Kassel 2010
• T. Wichmann: Symbolic Reduction Methods for Non-Linear DAE Systems, Ph.D. thesis, Universität Kaiserslautern 2004
• T. Arponen: Numerical Solution and Structural Analysis of Differential-Algebraic Equations, Ph.D. thesis, Helsinki University of Technology (Finland) 2001

With the help of The Mathematics Genealogy Project, it has become quite easy to investigate one's own academic heritage. I was quite surprised to detect in my heritage besides three Nobel laureate (two in physics, one in medicine) the reformator Philipp Melanchthon. Large parts of my heritage can be seen in this PDF file.