My main research areas are concurrency and
temporal logic, which I studied at The University of
Edinburgh. I also have broad interests in software
engineering and networking. Although I'm interested in
applying the theory I know to the analysis of networks and
distributed systems, I'm more interested in applying theory
constructively. In other words, the theory should support
an approach to engineering software in which efficiency and
reliability are ensured by the construction process, not by
some costly post-hoc analysis. This is one of the reasons
I'm interested in domain-specific languages. I also believe
that when analysis is attempted on complex systems it should
be guided by the intuition of the system's designers. For
example, I'm interested in abstraction approaches
in which, for the purposes of a particular analysis
question, a designer can remove parts of a system believed
to be irrelevant.
Some specific recent interests of mine are logics and
algorithms for the automated checking of data integrity
constraints, and multi-valued logics for model checking.
Publications
Projects:
- Languages and compilers to automate the development of
network management systems.
Delta-X
automates the generation of database integrity constraints written
in an XPath-based notation.
Hub automates the
development of provisioning at the element management system
level, where provisioning data is entered.
CDL
automates the development of provisioning code for network
elements, where provisioning data is used. It was used
successfully in a Lucent development project.
- The VFSM Validator. The validator
is a tool for model checking and reachability analysis that is used to
discover errors in designs written using the Virtual Finite State Machine
(VFSM) notation.
Other links:
Address:
-
- Bell Laboratories
- Lucent Technologies
- Room 9F-538
- 2701 Lucent Lane
- Lisle, IL 60532, USA
Last updated 9/27/4.
