){kind=avatar}
About me
I think AI-based tools are the future of software development, and I’m investigating how our understanding of programming languages can help us build that future.
Currently a postdoc in Arjun Guha’s group at the Northeastern University.
In a previous life, I was interested in building strong theoretical foundations for pragmatic programming language features. During my PhD in Martin Odersky’s lab my main focus was on the theory of Capture Tracking for Scala. Also, I worked on SuperF, a type inference algorithm for System F and added subtyping reconstruction, a novel object-oriented take on GADTs, to the Scala compiler.
Projects
Capture Tracking
Tracking the Capture of capabilities in types.
Key Publications
(2024).
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types.
At OOPSLA'24.
(2024).
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism.
At POPL'24.
(2023).
Capturing Types.
In TOPLAS.