Research Associates & Students

Hector Menendez

Nassim Seghir

Zheng Gao

Carlos Gavidia

Leo Joffe

Alexandru Marginean

Publications

Publication 1

Publication 2

Projects

Autotransplantation

Prorogued Programming

Time-Travel Experimentation on Types

Priority Inflation