Find

Department of Computer Science

Amin Timany

Assistant Professor

Department of Computer Science
Åbogade 34
8200 Aarhus N
Denmark
timany@cs.au.dk
https://tildeweb.au.dk/au571806/

ORCID: 0000-0002-2237-851X

Published
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
The future is ours: prophecy variables in separation logic
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Published
Specifying i/o using abstract nested hoare triples in separation logic
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

ID: 177117469