Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 16:50 - 17:15 at Sala VII - Concurrent Programming, Memory Models Chair(s): Gustavo Petri
Slides (main.pdf)941KiB

I am a Marie-Curie Fellow at Imperial College London, working on verification of concurrent software with Prof. P. Gardner.

From 2017 to 2018 was a Research Associate in Philippa Gardner’s group at Imperial College London. From 2015 to 2017 I was a PostDoc in the Concurrency Theory Group at the University of Kaiserslautern, working with Prof. Roland Meyer.

In 2015 I received a PhD (DPhil) in Computer Science from the University of Oxford. My supervisor was Prof. C.-H. Luke Ong. My dissertation won the 2016 CPHC/BCS Distinguished Dissertation award.

Mon 14 Jan

opct-2019-papers
16:00 - 17:15: OPCT 2019 - Concurrent Programming, Memory Models at Sala VII
Chair(s): Gustavo PetriIRIF, Université Paris Diderot
opct-2019-papers16:00 - 16:25
Talk
Kirsten WinterThe University of Queensland
File Attached
opct-2019-papers16:25 - 16:50
Talk
Carla FerreiraUniversidade Nova Lisboa
opct-2019-papers16:50 - 17:15
Talk
Emanuele D'OsualdoImperial College London, UK
Pre-print File Attached

I am a Marie-Curie Fellow at Imperial College London, working on verification of concurrent software with Prof. P. Gardner.

From 2017 to 2018 was a Research Associate in Philippa Gardner’s group at Imperial College London. From 2015 to 2017 I was a PostDoc in the Concurrency Theory Group at the University of Kaiserslautern, working with Prof. Roland Meyer.

In 2015 I received a PhD (DPhil) in Computer Science from the University of Oxford. My supervisor was Prof. C.-H. Luke Ong. My dissertation won the 2016 CPHC/BCS Distinguished Dissertation award.