Ralph starts as a postdoc on the project Certifying Termination and Complexity Proofs of Programs. His expertise is on parametric complexity.
May 2, 2018: CL welcomes Ralph Bottesch as new member
- Details
- Category: News Archive
- Read Time: 1 min
Ralph starts as a postdoc on the project Certifying Termination and Complexity Proofs of Programs. His expertise is on parametric complexity.