Arthur Azevedo de Amorim

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

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

ICFP 2022	Session Chair of Program Verification & Synthesis (part of ICFP Papers and Events) Workshops Co-Chair in Organizing Committee Committee Member in Selection Committee within the Tutorials-track Committee Member in Program Committee within the ICFP Papers and Events-track
ML 2022	Committee Member in Program Committee within the ML-track
Show activities from other conferences