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] informatik.uni-trier.de (where alias=brausse).

Software

My Github page.

• ksmt: SMT solver for non-linear and transcendental real arithmetic with boolean structure
• lll: interpreter of a fast low-level language with exact real point semantics (companion targeting cdar by Jens Blanck)
• cclerical: Coq semantics for and compiler of a toy ERA language to iRRAM
• ksat: SAT solver in C++
• kirk: translations / bindings of real number types between different implementations of computable analysis
• (co) iRRAM: efficient Exact Real Arithmetic in C++
• sgp: reduction of the Smallest Grammar Problem to SAT, yielding optimal results up to length 35 for words over a binary alphabet (in the year 2017), joint work with Markus L. Schmid.
• bigsteps: an iRRAM program solving systems of polynomial ODEs exactly
• kirm: re-implementation of iRRAM in C
• cnf-keccak: bi-reduction of collision / preimage attacks on Keccak to SAT
• (co) Paxle: framework for crawling, indexing and searching web documents
• (co) YaCY: distributed Peer-to-Peer search engine in Java + tools

Publications

My DBLP page.

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

• A CDCL-style calculus for solving non-linear constraints (F. Brauße, K. Korovin, M. Korovina, N. Th. Müller) in FroCoS 2019 (Best paper award) [PV] [Pre].
• Taylor Models for ERA (F. Brauße, M. Korovina, N. Th. Müller) in ANDREI 60.
• Semantics, Logic, and Verification of "Exact Real Computation" (F. Brauße, P. Collins, J. Kanig, SY. Kim, M. Konečný, G. Lee, N. Th. Müller, E. Neumann, S. Park, N. Preining, M. Ziegler), MLA 2019. [TR]
• Merging symbolical & numerical notations in ERC (F. Brauße, M. Korovina, N. Th. Müller), CCC 2018. [Abstract]
• Improving Approximations by Taylor Models in Computable Analysis (F. Brauße, M. Korovina, N. Th. Müller), CiE 2018. [Abstract]
• Intensionality and Multi-valued Limits (F. Brauße, N. Th. Müller, R. Rettinger), CCA 2018. [Abstract]
• A minimal representation for continuous functions (F. Brauße, F. Steinberg), CCA 2017. [TR]
• ERA: Applications, Analysis and Improvements. (F. Brauße, M. Korovina, N. Th. Müller), CCC 2017. [Abstract]
• Using Taylor Models in Exact Real Arithmetic (F. Brauße, M. Korovina, N. Th. Müller) in MACIS 2015 [PV].
• Towards Using Exact Real Arithmetic for Initial Value Problems (F. Brauße, M. Korovina, N. Th. Müller) in PSI 2015 [PV].
• Exact Real Arithmetic and ODE systems with polynomials right hand sides. (F. Brauße, M. Korovina, N. Th. Müller, A. van Ackeren) in Proceedings of CCA 2014.

Academic activities

• Reviewing
  • Conferences: DLT 2018
  • Workshops: FAW 2017
• Teaching: Assistence / exercises (bachelor and master courses):
  • 2016/2017:
    • Berechenbare Analysis (Computable Analysis)
  • 2016:
    • Programmierung Ia (Programming Ia)
    • XML-Technologien (XML Technologies)
  • 2015/2016:
    • Datenbanksysteme (Database Systems)
    • Programmierung I (Programming I)
    • Programmierung Ib (Programming Ib)
  • 2015:
    • Information Retrieval
    • Programmierung Ia (Programming Ia)
    • XML-Technologien (XML Technologies)
  • 2014/2015:
    • Datenbanksysteme (Database Systems)
    • Programmierung I (Programming I)
    • Programmierung Ib (Programming Ib)
  • 2014:
    • Information Retrieval
    • Programmierung Ia (Programming Ia)
    • XML-Technologien (XML Technologies)
  • 2013/2014:
    • Angewandte Differentialgeometrie (Applied Differential Geometry)
  • 2013:
    • Datenkompression (Data Compression)
  • 2011:
    • Algorithmen und Datenstrukturen (Algorithms and Datastructures)
  • 2010/2011:
    • Algorithmen und Komplexität (Algorithms and Complexity)
  • 2010:
    • Algorithmen und Datenstrukturen (Algorithms and Datastructures)
  • 2009/2010:
    • Algorithmen und Komplexität (Algorithms and Complexity)
  • 2009:
    • Algorithmen und Datenstrukturen (Algorithms and Datastructures)
• Timeline
  • 2016 - 2019: University of Trier, Germany, PhD studies
  • 2014 - 2016: University of Trier, Germany, teaching assistence
  • 2012 - 2014: University of Trier, Germany, MSc studies
  • 2007 - 2012: University of Trier, Germany, undergraduate studies
  • 1997 - 2007: Helmholtz Gymnasium Essen, Germany, primary education
• Degrees
  • Master of Science in Computer Science (2014)
  • Bachelor of Science in Computer Science (2012)