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

Joseph Tassarotti

New York University

United States

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 States

Articles (14)

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2023

Collaborators (9)

Lars Birkedal

Aarhus University

DENMARK

View details

Sam Westrick

Assistant Professor

NYU School of Medicine

UNITED STATES

View details

Aws Albarghouthi

University of Wisconsin-Madison

UNITED STATES

View details

Anirudh Sivaraman

NYU School of Medicine

UNITED STATES

View details

Jean-Baptiste Tristan

UNITED STATES

View details

Alejandro Aguirre

VIP, Assistant Professor

Aarhus University

DENMARK

View details

Ralf Jung

Assistant Professor

ETH Zürich

SWITZERLAND

View details

Noam Zilberstein

Assistant Professor

Stevens Institute of Technology

UNITED STATES

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.

Joseph Tassarotti

Research Interests

Make your next move.

Explore related searches

Articles (14)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic

Verifying a high-performance distributed transaction system using permissioned state machines

A Separation Logic for Parallel Time Complexity with Work and Span Credits

Completeness of Iris-Based Program Logics

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs

Approximate Relational Reasoning for Higher-Order Probabilistic Programs

ParserHawk: Hardware-aware parser generator using program synthesis

Logical Relations for Formally Verified Authenticated Data Structures

Verified Foundations for Differential Privacy

A Demonic Outcome Logic for Randomized Nondeterminism

The K2 Architecture for Trustworthy Hardware Security Modules

Collaborators (9)

Lars Birkedal

Sam Westrick

Aws Albarghouthi

Anirudh Sivaraman

Jean-Baptiste Tristan

Alejandro Aguirre

Ralf Jung

Noam Zilberstein

Philipp G. Haselwarter

Make your next move.