Speaker - Clinton Roy
Biography
Clinton is an Open Source software engineer, who has spent most of his career supporting researchers in a wide variety of fields. At the moment they are at the Australian Synchrotron. Clinton has had an interest in formal methods since introduced to them at university.
Presentations
- An introduction to TLA+ – Tuesday 10:45 a.m.–11:30 a.m. in Echidna (Gegair)