Skip to content Search
Search our website:
Carsten Fuhs

Carsten Fuhs

Senior Lecturer
Teaches: Software and Programming I, Software and Programming II

Contact Information

Room
MAL154
Telephone
020 3926 1278
Email address
Enable JavaScript to view protected content.
Personal web page
http://www.dcs.bbk.ac.uk/~carsten

Research

Areas of interest: Automated program analysis and verification (termination, time complexity bounds, safety, equivalence), term rewriting, SAT and SMT solving (more generally, constraint solving), separation logic