Skip to content Search
Search our website:
Carsten Fuhs

Carsten Fuhs

Senior Lecturer

Contact Information

Room
MAL154
Telephone
020 3926 1278
Email address
Personal
web page

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