Pulse Explorer nav.journalClub Débats Tendances Chercheurs

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Accueil Explorer nav.journalClub Tendances

⌘+K

Anton Hampus | Synapse

AH

Anton Hampus

Formal Methods in Verification

Textile Recycling Association

About

Research focus

Formal Methods in Verification

Impact

14 pubs · 10 cites · h-index 2

Affiliations

Work Experience

Textile Recycling Association

2024 - 2024

KTH Royal Institute of Technology

2021 - 2024

Publications