afd-icl.bsky.social
@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
No videos yet.