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.
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.