Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Adrian Francalanza

Registered user since Fri 10 Feb 2017

Name: Adrian Francalanza

Country: Malta

Affiliation: University of Malta

Personal website: http://staff.um.edu.mt/afra1/

Research interests: Concurrency, Type Systems, Runtime Verification, Process Calculi, Behavioural Equivalences

Contributions

BEAT 2019 Committee Member in Program Committee within the BEAT 2019-track
Getting Rid of Null-Dereferences – Behavioural Types to the Rescue
Session Chair of Session 4 (part of BEAT 2019)
OPCT 2019 A Foundation for Runtime Enforcement
POPL 2019 Adventures in Monitorability: From Branching to Linear Time and Back Again
Show activities from other conferences

POPL 2019-profile
View general profile