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

Peter Sewell

University of Cambridge

United Kingdom

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 United Kingdom

Articles (6)

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Collaborators (3)

Ian Stark

University of Edinburgh

UNITED KINGDOM

View details

Jean Pichon-Pharabod

Tenure-track assistant professor

Aarhus University

DENMARK

View details

Christopher Pulte

University of Oxford

UNITED KINGDOM

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Peter Sewell

Research Interests

Make your next move.

Explore related searches

Articles (6)

Fulminate: Testing CN Separation-Logic Specifications in C

Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture

A CHERI C Memory Model for Verified Temporal Safety

It Is Time to Standardize Principles and Practices for Software Memory Safety

Precise exceptions in relaxed architectures

Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance

Collaborators (3)

Ian Stark

Jean Pichon-Pharabod

Christopher Pulte

Make your next move.