Ich beschäftige mich mit Entwicklung von effizienten Algorithmen im Bereich der Sensordatenverarbeitung am Institut für Softwaresysteme in technischen Anwendungen der Informatik (FORWISS), Uni Passau. Unter anderem sind folgende Gebiete für mich von Interesse:

• Stochastische Optimierung für geometrische Inferenz
• Algebraische projektive Geometrie
• Goodness-of-fit Bewertungen
• Simulation von unzuverlässigen Sensoren
• Datenfusion von Tiefen- und Bilddaten

Mein großes Interesse gilt Computeralgebrasystemen (CAS). Ich beteilige mich unter anderem an der Weiterentwicklung von REDUCE-Paket REDLOG in der Forschungsgruppe von Prof. V. Weispfenning.

• Schwache Quantoreneliminationsverfahren für ganze Zahlen
• Simplifikation von quantorenfreien und quantifizierten Formeln
• Strukturelle Eliminationsmengen
• Computeralgebrasysteme in der Lehre