Carsten Fuhs
Lecturer, Admissions Tutor - MSc ACT, MSc CS, MSc DS, MSc IT, PGCert CDT
- Room
- MAL154
- Office hours
- Monday 17:30-18:00
- Telephone
- 020 7631 6598
- Fax
- 020 7631 6727
- 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.