Franz Brauße

I am a PhD student at the University of Trier. My PhD project is supervised by apl. Prof. Dr. Norbert Müller and funded by the DFG project WERA.

My research interests mainly lie in computable analysis and its efficient software implementations (iRRAM, AERN2, Ariadne, cdar, ...), (second-order) (parameterized) complexity theory, formal proofs / program extraction in particular for computations on infinite data, and in non-linear transcendental SMT solving.

The best way to contact me is via e-mail: alias [AT] (where alias=brausse).


My Github page.


My DBLP page.

[PV] = Published Version
[Pre] = Preprint Version
[TR] = Technical Report

Academic activities