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

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