Carsten Fuhs
Lecturer, Admissions Tutor (BSc, FDSc)
- Room
- MAL154
- Office hours
- Monday 17:30-18:00
- Telephone
- 020 3926 1278
- Email address
- Enable JavaScript to view protected content.
- Personal web page
- http://www.dcs.bbk.ac.uk/~carsten
- Publications
- DBLP BIROn
Research areas
Automated program analysis and verification (termination, time complexity bounds, safety, equivalence, ...), term rewriting, SAT and SMT solving (more generally, constraint solving), separation logic