Senior Member of Technical Staff
Developing standards that support communication between components in component-based systems. This includes work on IEEE POSIX 1003-21 (Real-time Distributed Systems Communiation) and participation in the real-time SIG of OMG.
Particularly interested in the application of formal specification techniques to real problems.
Also very interested in the problems of software construction, and have worked on tools to support the software development process.