Matthias Schlaipfer -

Registered user since Mon 3 Mar 2025

Name:Matthias Schlaipfer

Country:Germany

Affiliation:Amazon Web Services

Personal website: https://mschlaipfer.net/

Contributions

2027

ICSE

Committee Member in Program Committee within the SE in Practice (SEIP)-track

2026

ASE

Author of IAM Policy Autopilot: Static Analysis for Policy Generation from Application Code within the Industry Showcase-track

2025

ICSE

Author of Formally Verified Cloud-Scale Authorization within the Research Track-track

Dafny

Author of Helping users to reduce Brittleness in their Dafny programs - a success story within the Dafny 2025-track