Thomas Sternagel successfully defended his thesis on automation, formalization, and certification of confluence of conditional term rewrite systems. He will leave for industry in January.
December 15, 2017: Thomas Sternagel defends his PhD thesis
- Details
- Category: News Archive
- Read Time: 1 min