Pete McCann |
Member of Technical Staff at the Software Production Research Department of Lucent Technologies' Bell Laboratories. |
The emergence of mobile computing is changing the way software and hardware are designed and understood. My research attempts to characterize some of these new problems and provide some solutions.
I developed Mobile UNITY, a novel specification language for mobile computing based on the UNITY model of Chandy and Misra.
I am currently involved with some of Lucent's wireless architects to help design 3rd generation wireless data networking protocols.
I am also working on a language for describing networking packets. This will hopefully form one component of a larger protocol implementation environment. You can read our paper Packet Classification Using Abstract Types.