Research

Here you will find tools, publications and information to some talks which I held:

Tools

• crest: automatic analyzer for logical constrained rewrite systems
• TTT2: automatic termination analyzer of term rewrite systems
• eco-imp: automated cost analysis of probabilistic While programs

Publications

My publications can be found on my ORCID account here.

Selected Talks

• 2024:
  • 12th International Joint Conference on Automated Reasoning (IJCAR), Nancy, France: PDF
    Confluence of Logically Constrained Rewrite Systems Revisited
• 2023:
  • 12th International Workshop on Confluence (IWC), Obergurgl, Austria: PDF
    Reducing Confluence of LCTRSs to Confluence of TRSs
  • 29th International Conference on Automated Deduction (CADE), Rome, Italy: PDF
    Confluence Criteria for Logical Constrained Rewrite Systems
  • 58th TRS Meeting Iwamuro, Niigata, Japan: PDF
    Confluence Criteria for Logical Constrained Term Rewrite Systems
• 2022:
  • Research Seminar CL/TCS: PDF
    Logical Constrained Term Rewrite Systems
  • Lunchtime Seminar Deparment of Computer Science: PDF
    Expected Cost Analysis of Probabilistic Programs
• 2021:
  • Research Seminar CL/TCS: PDF
    Expected Cost Analysis of Probabilistic Programs
• 2020:
  • Master Seminar TCS: PDF
    Abstraction, Refinement and Proof in a Probabilistic Setting
  • Master Defense: PDF
    The Weighted Path Order in TTT2
• 2018:
  • International Workshop on Termination, Oxford, United Kingdom: PDF
    TTT2 with Termination Templates for Teaching

Projects

• 11/2021-12/2022: LFU Early Stage Funding project An Application of Resource Analysis in Scheduling