ICFP 2021
Sun 22 - Fri 27 August 2021
Liam O'Connor

Registered user since Wed 31 Aug 2016

Name:Liam O'Connor
Bio:

Liam is a PhD student at UNSW Australia working on Trustworthy Systems projects with Data61 at CSIRO (formerly known as NICTA). His PhD work focuses on the use of linear typed languages to provide easy-to-reason-about semantics for formal verification of operating system components. More broadly, his research interests include automated proof and reasoning, particularly in the context of dependently typed programming languages, type inference, static analysis, and concurrency.

Country:Australia
Affiliation:UNSW
Personal website:http://liamoc.net
Research interests:Type systems, formal methods, linear types, dependent types, concurrency

Contributions

ICFP 2021 Committee Member in Program Committee within the Student Research Competition-track
Show activities from other conferences

Using general profile