Mark P Jones: Home Page (original) (raw)

My research interests include all aspects of programming language design, implementation, and application. I am particularly interested in the use of advanced programming language technologies for low-level systems programming, and in the development and application of expressive type systems and language abstractions that support the construction and certification of secure and reliable software systems.

[Caveat: In my current role of department chair, I am focussed on administrative work and do not have much time for research.]

I am the original designer and implementor of theGofer andHugs systems. People still ask me aboutTimbot. I developed a course on Languages and Low-Level Programming; and I have since reimplemented several of the associated lab examples using mil-tools.