Andreas Lööw -

Registered user since Wed 17 May 2023

Name:Andreas Lööw

Affiliation:Imperial College London

Personal website: https://www.doc.ic.ac.uk/~aloow/

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

Contributions

2025

TPSA

Author of Data Structure Abstraction and Incorrectness Separation Logic within the TPSA 2025-track

2024

ECOOP

Author of Matching Plans for Frame Inference in Compositional Reasoning within the Technical Papers-track
Author of Compositional Symbolic Execution for Correctness and Incorrectness Reasoning within the Technical Papers-track

Formal Methods for Incorrectness

Author of Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning within the Incorrectness-track

2023

ECOOP

Author of Exact Separation Logic within the Research Papers-track

PLARCH

Author of They're the same picture: a software-verification flow adapted for hardware verification within the PLARCH 2023-track