Keith Sibson




Background

I received my first class honors degree from the University of St Andrews, Scotland, in 1996, majoring in Computer Science. From there I moved to the Computing Science Department at the University of Glasgow to pursue a doctoral degree (Ph.D.), which I received in 2001. Currently I work for a small financial company in Austin, Texas.

Research

My Ph.D. research concentrated on the failure properties of Web, and how to deal with them at the programming language level. I developed a programming language called Focus, the aim of which is to enable concise and intuitive expression of failure semantics in the context of concurrency. Focus is the first language to achieve a clean integration of Web domain concepts, failure interpretation, concurrency, and a mechanism for flow of control after failure. You can read the abstract of my thesis, or the whole document.


Publications

Paradigms for Global Computation - an Overview of the Hippo Project, by Richard Connor and Keith Sibson was presented at the Workshop on Internet Programming as part of ICCL'98. This paper is available in Word 97, HTML, and Postscript formats. I presented HCL - a Language for Internet Data Acquisition, by Richard Connor and Keith Sibson at the Workshop on Internet Programming as part of ICCL'98. This paper is availble in Word 97, HTML, and Postscript formats. On the Unification of Persistent Programming and the World-Wide Web by Richard Connor, Keith Sibson, and Paolo Manghi was presented at the Workshop on the Web and databases as part of the EDBT'98 conference and is published in LNCS 1590. Available in Word 97, HTML, and Postscript formats. I presented Implementing Flexible Failure Semantics when Programming the Web by Keith Sibson and Richard Connor at the 1st International Conference on Internet Computation (IC'2000), in Las Vegas, June 26th 2000, and is published in the proceedings. Available here in [Word 97] and [Postcript] formats.


Programming

In 1995 and 1996 I developed an interest in graphics demo and game programming. Although the novelty wore off as I became more focused on 'real' programming, I provide here a few examples of my work, with source. All of this stuff is DOS, and involves direct writes to the 256 color VGA video buffer. It's developed for older, slower, machines, so I can't vouch for how well it will run on your system. I suppose that they will work best if you can actually boot into a DOS mode, but none of the stuff has timing code, so may seem somewhat overly fast. Unpack each zip file to its own directory, and run the batch file or obvious executable: Coons warping, cylinder warping, a blurring technique, 3D Phong illumination model, plasma technique, 3D texture mapping with light source (Gouraud), a light source tunnel effect, and 3D Z-buffering. Please ignore any childish comments in the source - at that time I thought I was a cool demo scene dude! This code demonstrates primarily low level system programming techniques. Example source in the high-level language Java is available, please contact me. One final thing, a few years ago I wrote a very simple but extensible text based adventure game, GENAS, let me know if you manage to complete it!


Interests

Reading, travel, fine dining, expensive cocktails, scuba diving, playing with my cat. Actual content coming soon - I assure you that I really am an interesting guy.


Pictures

High bandwidth at keithandsara.com. My friend Charly in his natural pose. Giles being loud. Sara by the pool, and in Grand Cayman.


You can contact me by sending an email to anybody at keithsibson.com