I am a third year PhD student in computer science at CSD @ Carnegie Mellon University, advised by Frank Pfenning, working towards efficient and usable functional programming languages. Current work has been on an adjoint natural deducton system with the goal of compilation down to the semi axiomatic sequent calculus (which has a futures model of parallelism interpretation). Previously, I was an undergraduate at Cornell University, where I worked under Dexter Kozen and Pedro H. Azevedo de Amorim on categorical semantics for mixing parallel and sequential operations. Pedro created this website template. I have also done research under Jonathan Aldrich (CMU) and Alex Potanin (ANU) on expanding the expressivity of decidable Dependent Object Types.

At the moment, I am primarily interested in programming languages, especially type theory and logics.

Email: sophiaroshal@cmu.edu