Carstenfuhs@fediscience.org

Carstenfuhs@fediscience.org

carstenfuhs@fediscience.org

Senior Lecturer in Computer Science at Birkbeck, University of London. Automated verification, termination analysis, complexity analysis, term rewriting, ... Language(s) aficionado.

👤 Visit Carstenfuhs profile 👤 Carstenfuhs Profil besuchen

✍️Write rieview ✍️Rezension schreiben 🏷️Get Badge! 🏷️Abzeichen holen!

Tags: aficionado automated complexity lecturer rewriting termination university verification

Rieviews

Bewertungen

🔝