Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Amin Timany
Has grant
Associate Professor
DenmarkResearch Interests
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.
Recent Grants
Grant: Close
Logical Relations and Secure Compilation for Advanced Programming Language Features using Iris
Open Date: 2018-09-01
Close Date: 2021-08-01
Grant: Close
Formal Program Verification
Open Date: 2013-11-04
Close Date: 2017-11-04
Articles (16)
Year:
2026
Year:
2026
Year:
2025
Year:
2025
Year:
2025
Year:
2025
Year:
2023
Year:
2022
Year:
2022
Year:
2021
Year:
2021
Year:
2021
Year:
2021
Year:
2020
Year:
2020
Year:
2020
Collaborators (7)
Aïna Linn Georges
Max Planck Institute for Software Systems
Lars Birkedal
Aarhus University
Jean Pichon-Pharabod
Tenure-track assistant professor
Aarhus University
Jesper Cockx
Assistant Professor
TU Delft
Dominique Devriese
Professor
KU Leuven
Sander Huyghebaert
Vrije Universiteit Brussel
Ralf Jung
Assistant Professor
ETH Zürich
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.