I am a second year PhD student in computer science at CSD @ Carnegie Mellon University, advised by Frank Pfenning, working towards efficient and usable parallelism via futures in functional 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 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