Amin Timany - ICFP 2018

Registered user since Wed 24 Aug 2016

Name:Amin Timany

Country:Belgium

Affiliation:imec-Distrinet KU-Leuven

Research interests:Programming Languages, Proof Assistants

Contributions

ICFP 2018	MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
HOPE 2018	Committee Member in Program Committee within the HOPE 2018-track
Show activities from other conferences