Liam O'Connor @liamoc@types.pl
- Pronouns
- he/any
- Website
- http://liamoc.net
- https://twitter.com/kamatsu8
- Affiliation
- University of Edinburgh, LFCS
Formal Methods, Verification, Concurrency, Functional Programming!
Joined Oct 2020
Hello everyone. I probably will not post significantly here for now, but I am parking the profile in case it becomes more widely used.
- Pronouns
- he/any
- Website
- http://liamoc.net
- https://twitter.com/kamatsu8
- Affiliation
- University of Edinburgh, LFCS
Formal Methods, Verification, Concurrency, Functional Programming!
Joined Oct 2020
