29 August, 2023: Johannes Niederhauser completes his master studies

Johannes Niederhauser successfully defends his master thesis, entitled “Left-linear Completion with AC Axioms”. Congratulations. We are delighted that Johannes will pursue a PhD degree.