Tamara Rezk - POPL 2023 (original) (raw)

Name:Tamara Rezk

Country:France

Affiliation:INRIA

Personal website: http://www-sop.inria.fr/members/Tamara.Rezk/

X (Twitter): https://x.com/TamaraRezk

Research interests:Security, Programming Languages, Verification