Márton Hajdu successfully defends his PhD thesis

Monday, Jun 2, 2025

Márton Hajdu has successfully defended his PhD thesis titled “Redundancy, Rewriting, and Induction”. Congratulations!