Timothy Jones

PhD Student School of Engineering and Computer Science

Timothy Jones profile picture

Thesis Info

Research Interests: Programming Language Design, Functional and Object-Oriented Programming, Metaprogramming, Object Capabilities, Type Theory
Thesis Title: Classless Object Semantics
Supervisor: Prof James Noble and Dr David Pearce

 

Research Interests

I am currently involved in the Grace programming language project, through the Hopper implementation of the language, as well as formalising the language's semantics. You can find an online editor for Grace at grace/editor, and the Gribber music system (a Grace plugin for Gibber) at grace/gibber.

Publications

You can find my publications on my homepage.