ETAPS 2019 (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
ETAPS 2019-profile
View general profile
View general profile