Carsten Fuhs

Carsten Fuhs is a Senior Lecturer at the School of Computing and Mathematical Sciences, Birkbeck, University of London, where he leads the Logical Methods research group (since 2023). His research focuses on automated reasoning for program analysis, including termination/complexity analysis (via the AProVE tool), program equivalence, verification, term rewriting, and SAT solving. He contributes to the SAT4J library and has benchmarked SAT encodings for international competitions.

Fuhs's work bridges theoretical foundations and practical tools, with recent emphasis on higher-order rewriting, parallel complexity, and equivalence checking. His publications consistently appear in premier venues (e.g., ESOP, IJCAR, JAR), demonstrating innovations in automating program analysis.

He holds significant service roles: Trustee for CADE, Executive Committee member for ACM SIGLOG, Publicity Chair for FSCD, and Co-Chair of IFIP WG 1.6 on Rewriting. He organized the 10th S-REPLS workshop and lectures at international schools (e.g., ISR, SAT/SMT/AR).

At Birkbeck, he teaches core programming courses (e.g., Java, Software Programming I/II) and previously taught Compilers at UCL and Term Rewriting at RWTH Aachen.