FLOPS 2024 (series) / Carsten Fuhs
Registered user since Tue 19 Feb 2019
Name:Carsten Fuhs
Country:United Kingdom
Affiliation:Birkbeck, University of London
Personal website: http://www.dcs.bbk.ac.uk/~carsten/
Research interests:Program Analysis, Termination, Complexity Bounds, Rewriting, Deduction
Contributions
Using general profile