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

Christoph Sprenger

Has grant

Senior Scientist

ETH Zürich

Switzerland

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 Switzerland

Recent Grants

Grant: Open

Formal Verification of Isolation Guarantees in Database Systems

Open Date: 2024-04-01

Close Date: 2027-03-01

Articles (6)

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2023

Year:

2023

Collaborators (2)

David Basin

Professor

ETH Zürich

SWITZERLAND

View details

Marco Eilers

Senior researcher

ETH Zürich

SWITZERLAND

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Christoph Sprenger

Research Interests

Make your next move.

Explore related searches

Recent Grants

Articles (6)

Looping for Good: Cyclic Proofs for Security Protocols

Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions

Formal Verification of the Sumcheck Protocol

IsaNet: A framework for verifying secure data plane protocols

Sound Verification of Security Protocols: From Design to Interoperable Implementations

Collaborators (2)

David Basin

Marco Eilers

Make your next move.