
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
SOAP 2022 | Birkbeck, University of London in Program Committee within the SOAP 2022-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2022-profile
View general profile
View general profile