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

You can find my publications on ORCID or DBLP.

Selected Talks

2025:
- 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems: PDF
  Automated Analysis of LCTRSs using crest
- Data Lab Hell: PDF
  Automated Analysis of Logically Constrained Programs
- MIP faculty seminar UIBK: PDF
  Automated Analysis of Logically Constrained Programs
2024:
- Lunchtime Seminar Department of Computer Science: PDF
  Automated Analysis of Logically Constrained Programs
- 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 Department 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