Automation of Logic

Dr. Florian Frohn

postdoctoral researcher


Max-Planck-Institut für Informatik
Saarland Informatics Campus
Campus E1 4
66123 Saarbrücken

+49 681 9325-2914



Physical address: building E1 5, room 636

About me

I am a postdoctoral researcher at the Research Group 1 of the Max Planck Institute for Informatics in Saarbrücken. Before that, I have been a research and teaching assistant at Lehr- und Forschungsgebiet Informatik 2 at RWTH Aachen where I successfully defended my PhD thesis in December 2018.

    For a rough overview of my research, have a look at this poster and the corresponding extended abstract.


    I am actively contributing to several software projects:

    Research Interests

    My fields of interest include (but are not limited to):

    • automated termination and complexity analysis of
      • heap-manipulating imperative programs with a focus on Java Bytecode
      • term rewriting systems
      • integer programs
    • abstract interpretation and symbolic evaluation
    • program verification

    External Webpage

    For more information, please visit my personal website.