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

Aïna Linn Georges

Max Planck Institute for Software Systems

Germany

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Germany Professors in Cybersecurity Cybersecurity professors in Germany

Articles (8)

Year:

2026

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2023

Year:

2022

Year:

2021

Collaborators (6)

Lars Birkedal

Aarhus University

DENMARK

View details

Jean Pichon-Pharabod

Tenure-track assistant professor

Aarhus University

DENMARK

View details

Dominique Devriese

Professor

KU Leuven

BELGIUM

View details

Sander Huyghebaert

Vrije Universiteit Brussel

BELGIUM

View details

François Pottier

Inria Centre de Recherche de Paris

FRANCE

View details

Amin Timany

Associate Professor

Aarhus University

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Aïna Linn Georges

Research Interests

Make your next move.

Explore related searches

Articles (8)

Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation

Data Race Freedom à la Mode

The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code

Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs

Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities

Efficient and Provable Local Capability Revocation Using Uninitialized Capabilities

Collaborators (6)

Lars Birkedal

Jean Pichon-Pharabod

Dominique Devriese

Sander Huyghebaert

François Pottier

Amin Timany

Make your next move.