PhD defense of Rick Erkens

19-Sep-2024

On Monday September 30, 13:30, 2024 Rick Erkens defends his PhD thesis called Automaton-based Techniques for Optimized Term Rewriting at Eindhoven University of Technology.

In his thesis Rick Erkens explains how a term rewriting system can be compiled into an automaton optimizing the number of subterm matches, speeding up rewriting of terms.