L
liamoc@types.pl
@liamoc@types.pl
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.
Reputation
0
Profile views
1
Joined
Last Online
Pronouns
he/any
Website
liamoc.net
Twitter
twitter.com/kamatsu8