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
PLDI 2022-profile
View general profile
View general profile