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

Bas Spitters

Associate Professor

Aarhus University

Denmark

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Articles (9)

Year:

2025

Year:

2025

Year:

2025

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2021

Year:

2020

Collaborators (2)

Jean Pichon-Pharabod

Tenure-track assistant professor

Aarhus University

DENMARK

View details

Philipp G. Haselwarter

Assistant Professor

Aarhus University

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Bas Spitters

Research Interests

Make your next move.

Articles (9)

CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq

Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust

hax: Verifying Security-Critical Rust Software Using Multiple Provers

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Formalising Decentralised Exchanges in Coq

Finding smart contract vulnerabilities with ConCert's property-based testing framework

Extracting functional programs from Coq, in Coq

Synthetic topology in Homotopy Type Theory for probabilistic programming

Modal dependent type theory and dependent right adjoints

Collaborators (2)

Jean Pichon-Pharabod

Philipp G. Haselwarter

Make your next move.