Dr Ian Holyer

I am a senior lecturer in the Computer Science Department at Bristol University. I am the longest serving member of the department, and possibly the only one who remembers the whole of its history. I have had almost every role in the department at one time or another, including a year as head of department.

Although I began as a mathematician, I did a PhD at Cambridge in the area of graph theory algorithms, as part of becoming a computer scientist. My greatest passion is for teaching, and I have taught nearly every core computer science subject over the years. I have a long-standing interest in the use of automation in teaching and admin.

My main research area is in programming languages. I did some research on functional programming languages at one time, and published a book on the Miranda language which lasted the usual four years before becoming obsolete. Although I am no longer very research active, I still investigate language design issues, particularly the possible future design of object oriented languages.

I am married to Judy. She is a quaker, mathematician, theologian, computer scientist, minister, ex company director, spiritual director and artist, among other things.

My calendar

You can contact me:
by post: Dr. Ian Holyer
Department of Computer Science
University of Bristol
Merchant Venturers Building
Woodland Road
United Kingdom
by phone: +44 117 9545148
by fax: +44 117 9545208
by email: use this form

Research Interests

Languages and Architecture
Functional Programming
Adapting Web pages
Graph Theory
Compiler Design (formal methods forum)
Global Computing (restricted)

Teaching Interests

COMS12100 Intro to Software Engineering (Haskell & Java)
COMS21101 Software Engineering
COMS30122 Advanced Language Engineering
COMS30103 Databases
Web Programming (support materials)
The Transputer Simulator
The Game of Life


Department Database Records (Bristol access only)
Information about exams
Talk on databases and web pages (1998)
Book: Functional Programming with Miranda (out of print)