Senior Lecturer at ANU School of Computing, Ngunnawal/Ngambri Country. I leave these toots, I do not know for whom. I no longer know what they are about.

Formal Methods, Verification, Concurrency, etc.

English, 한국어, 日本語, Lingva Latina

No AI-generated content, please.