May 2, 2018: CL welcomes Ralph Bottesch as new member

Ralph starts as a postdoc on the project Certifying Termination and Complexity Proofs of Programs. His expertise is on parametric complexity.