Arthur Azevedo de Amorim

Registered user since Thu 20 Oct 2016

Name:Arthur Azevedo de Amorim

I am a postdoc working with Marco Gaboardi at Boston University.

Country:United States
Affiliation:Boston University
Personal website:
Research interests:Programming Languages, Formal Verification, Security, Privacy


POPL 2022 Session Chair of Systems (part of POPL)
On Incorrectness Logic and Kleene Algebra with Top and Tests
PriSC 2022 Session Chair of Secure compilation theory (part of PriSC 2022)
Committee Member in Program Committee within the PriSC 2022-track
Show activities from other conferences

POPL 2022-profile
View general profile