About me

Until March 2019, I've been a research assistant and postdoc at the Computational Logic Group of the University of Innsbruck.

Research Interests

• confluence, uniqueness of normal forms, unique normalization
• term rewriting
• automation
• decreasing diagrams
• formalization

Former Activities

• Postdoc, FORTissimo
• Postdoc, From Confluence to Unique Normal Forms: Certification and Complexity
• PC co-chair, International Workshop on Confluence 2018 (part of FSCD 2018 and FLoC 2018)
• PC co-chair, International Workshop on Confluence 2017
• PC member, International Workshop on Confluence 2016
• During my Ph.D. I worked on the Confluence Project