Skip to content Search
Search our website:

Carsten Fuhs

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

Research groups

Currently teaching