[PRL] [Fwd: Paul Curzon] EPSRC funded PhD studentship in formal methods and HCI

[Mitchell Wand]

Here's an intriguing-looking project that merges formal methods and
HCI.  If we are interested in systems that behave gracefully in the
presence of user (eg novice-programmer) errors, this ought to be at
least of some interest.

Check out the URL.

--Mitch 

-------------- next part --------------
An embedded message was scrubbed...
From: Paul Curzon <p.curzon at mdx.ac.uk>
Subject: EPSRC funded PhD studentship in formal methods and HCI
Date: Tue, 20 Apr 2004 09:36:45 +0200 (MEST)
Size: 2932
Url: https://lists.ccs.neu.edu/pipermail/prl/attachments/20040420/c3047e16/attachment.eml