Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Julian Bradfield's home page
I am Reader in Computer Science here at the University of
Edinburgh. My first degree was in Mathematics, from Cambridge,
and after doing the conversion Diploma in Computer Science, I
came to Edinburgh for my Ph.D. 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
UoE users can see my schedule of planned absences.
Research
If you're interested in my research, please go to my
research page.
If you're looking for my Mah-Jong programs, please go to my personal site.
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.