Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
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, Australia

Personal website: http://liamoc.net

Research interests: Type systems, formal methods, linear types, dependent types, concurrency

Contributions

ML 2016 Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML
TyDe 2016 Applications of Applicative Proof Search
ICFP 2016 Refinement through Restraint: Bringing Down the Cost of Verification
Show activities from other conferences

ICFP 2016-profile
View general profile