Skip to content Search
Search our website:

Carsten Fuhs

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.

Research groups

Currently teaching