Carsten Fuhs
@CarstenFuhs@fediscience.org
- Name
- Carsten Fuhs
- First seen
- 2023-01-08T11:04:15.833544
- Instance
- fediscience.org
- About
Senior Lecturer in Computer Science at Birkbeck, University of London. Automated verification, termination analysis, complexity analysis, term rewriting, ... Language(s) aficionado.