Scholar
Amin Timany
Google Scholar ID: Cgs2hEgAAAAJ
Aarhus University
Programming Languages
Type Theory
Logic
Semantics of Programming Languages
Program Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,105
H-index
17
i10-index
26
Publications
20
Co-authors
36
list available
Contact
No contact links provided.
Publications
4 items
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic
2026
Cited
0
Yarrow: Reconciling Effects Handlers and Region-Based Memory Management
2026
Cited
0
Context-Dependent Effects and Concurrency in Guarded Interaction Trees
2025
Cited
0
Reasoning about Weak Isolation Levels in Separation Logic
2025
Cited
0
Resume (English only)
Co-authors
36 total
Lars Birkedal
Dept. of Computer Science, Aarhus University
Co-author 2
Bart Jacobs
Professor of Computer Science, Katholieke Universiteit Leuven
Dominique Devriese
KU Leuven
Co-author 5
Simon Oddershede Gregersen
Postdoctoral fellow, New York University
Co-author 7
Co-author 8
