Computer science researcher, interested in Programming Language/Abstract Interpretation/Formal Verification/Cybersecurity/Operating Systems
👤 Visit Matthieulemerres profile 👤 Matthieulemerres Profil besuchen
Tags: computer cybersecurity interested interpretation operating programming researcher verification