I am interested in programming languages as tools for effective communication with computers. In my PhD I want to explore the design of type systems for programming languages that are expressive and efficient by using substructural logics to capture parts of program behaviour such as resource management or evaluation order.
