Owen Stephens

About

I am a first-year PhD student, working with Julian Rathke and Pawel Sobocinski in the ESS research group of ECS.

My current research is in the area of functional programming languages. Particularly, type inference, in the presence of an embedded monoidal equational theory. We have created a functional language that allows the specification of (polymorphic) functions over the arrows/objects of a monoidal category (embedded using special "annotations" on types). We hope to apply this work to several areas of concurrency research, including so called "coordination" languages.

Interests

• Functional Programming
• (Static) Type systems, and "programming with guarantees".
• Programming Languages and their Semantics
• (Basic) Category Theory
• Version control systems, particularly Darcs.

Contact

You can contact me at: os1v07@ecs.soton.ac.uk.

If you are at Southampton University, I can be found in the level 4 lab of the Mountbatten building (number 53), in bay 4.