alan@ipse4.cs.man.ac.uk (Alan Wills) (07/20/90)
I'm looking for any kind of work which uses the following skills and experience, and am willing to discuss any sort of basis (full-time, part-time, local or remote working, ...). If you're aware of anyone who would be interested, please pass on this information. Broadcasting a resume feels like exposing little-seen parts of one's anatomy in public --- so, further details on request! (Conversely: if you get embarrassed at people exposing their CVs in public, then hit 'n' now.) Thanks. ALAN C. WILLS MSc (computing) BSc (physics) C.Eng. Languages --- 3-4 years' Smalltalk 7 years' formal methods --- VDM, Z Many years' Unix, C[++], Pascal, Lisp, ML, Fortran, PL/I, LaTeX, PS Experience --- Last 4 years spent in industrial/academic collaboration on "Ipse2.5", a software engineering support system incorporating MURal, an interactive theorem prover. Contributions in interactive system architecture & UI. Currently working on "Fresco", a support system for specifying and proving re-usable modules written in Smalltalk. Some teaching. Into --- Science & its history, hill-walking, theatrical production, safety-critical systems, contemporary dance. Contact --- Alan Wills +44 61-275 6135 Dept of Computer Science +44 61-225 3240 The University Manchester M13 9PL UK -- Alan Wills University of Manchester, UK +44-61-275 6135