News
March 19, 2018: CL welcomes Max Haslbeck as new member
Max starts as a PhD-student on the project Certifying Termination and Complexity Proofs of Programs.
Max starts as a PhD-student on the project Certifying Termination and Complexity Proofs of Programs.