Julian Bradfield

Email: jcb@inf.ed.ac.uk
GnuPG public key (for routine matters))
Phone: +44 131 650 5998

I am Reader in Computer Science here at the University of Edinburgh. My first degree was in Mathematics, from Cambridge (B.A. 1985, M.A. 1988), and after doing the conversion Diploma in Computer Science, I came to Edinburgh for my Ph.D. (awarded 1991). After completing this, I was a postdoc for a couple of years, and since 1992 I've been on the teaching staff. From 1997 to 2002, I was an EPSRC Advanced Research Fellow.

Absences

Research

I am interested in supervising Ph.D. study in any of several areas: concurrency, modal and temporal logics, applications of set theory to computer science, application of concurrency to phonology. If you're interested in any of these, contact me, and see the Informatics Postgraduate pages for information about our postgraduate programme and the application procedure.

Undergraduate Internships: The School no longer runs any undergraduate intern programme.

Teaching

• CS3 Operating Systems
• Parts of Computer Programming 1.

Administration

• I am a teaching staff representative on the Senatus Academicus.
• I am Convener of the non-Honours Boards of Examiners.

CSL'02

TolkLang

Mah-Jong

Miscellaneous things

• Also on my personal site, a Unix driver (from PPM files) for the Citizen, Alps and Oki MicroDry printers. This is in development.
• I have a couple of fonts defined with Metafont for use with TeX; they are a little font containing the extra letters used for Old English text; Tolkien's tengwar and cirth; sans-serif math italic for Computer Modern.
• The file rule.tex contains TeX macros which can be used to set proof trees (that grow downwards). You probably don't want to use them, since there must be dozens of LaTeX packages to do the task better.
• Little things for Emacs. The only non-obsolete thing there is a little hack for highlighting messages in VM.