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

Andrei Popescu

Senior Lecturer (Associate Professor)

University of Sheffield

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 (9)

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Collaborators (1)

Dmitriy Traytel

Associate Professor

University of Copenhagen

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Andrei Popescu

Research Interests

Make your next move.

Explore related searches

Articles (9)

Animating MRBNFs: Truly Modular Binding-Aware Datatypes in Isabelle/HOL

Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings

Completing Gordon's Higher-Order Logic

A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress)

Nominal Recursors as Epi-Recursors

Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities

The Complex(ity) Landscape of Checking Infinite Descent

Admissible Types-to-PERs Relativization in Higher-Order Logic

Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version

Collaborators (1)

Dmitriy Traytel

Make your next move.