Anthony DeRossi

Ph.D. Student, Computer Science

Boston University

aderossibu.edu

Research

I am interested in programming languages and formal methods, with the goal of making it easier to write provably correct programs.

My current research focuses on choreographic programming, a paradigm that enables a programmer to write a global program describing the behavior of a distributed system. By automatically generating local programs using a formally-defined endpoint projection operation, we guarantee that properties of the global program are preserved in the resulting system.

Spring 2026

I am a Teaching Fellow for CAS CS 320: Concepts of Programming Languages, instructed by Nathan Mull.

Office Hours: W 1-2 Th 12-2

Links