Arthur Azevedo de Amorim

Registered user since Thu 20 Oct 2016

Name:Arthur Azevedo de Amorim
Bio:

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

Country:United States
Affiliation:Boston University
Personal website:http://arthuraa.net
Research interests:Programming Languages, Formal Verification, Security, Privacy

Contributions

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