@afd-icl.bsky.social
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Oops - here's a working link www.doc.ic.ac.uk/~afd/papers/...
www.doc.ic.ac.uk
April 4, 2025 at 9:41 AM
Oops - here's a working link www.doc.ic.ac.uk/~afd/papers/...