| Web Writing | Architect and author of the eclectic  web site. |  |
| Language Engineering | I am developing some ideas, techniques and tools for defining implementing and exploiting formal notations (in general).
More about this soon. |
| Distributed OO Application Development | Under contract to ICL I am continuing to contribute to the development of an object oriented distributed application using DAIS, the ICL CORBA Object Request Broker.
|
| The Past |
I worked for English Electric at Nelson Research Labs from 1967 to 1969 reasearching compiler-compilers and developing applications.
From 1969 until 1998 (with a break in academe) I worked for International Computers Limited in a variety of software development related roles, including work on compiler development, mainframe microcode, operating systems, knowledge engineering, relational database software, formal methods applied to secure systems, the development and marketing of ProofPower and application development.
During my last few years at ICL I was an ICL Distinguished Engineer.
|
