About me

Research Staff Member
Research lab: Watson Research Center (Hawthorne)
I joined the center as a research staff member in the summer of 2004. Previous to IBM, I was principal architect at Teltier Technologies, a startup company in the wireless telecommunication space acquired by Dynamicsoft, now part of Cisco Systems. Before Teltier I was member of technical staff at Bell Labs and faculty in the department of computer science at University of Illinois at Chicago. For a few years I have been working in using tools and techniques from formal models of knowledge representation and reasoning for the management of computer and network systems. Motivated by the work on policy based network management I developed the language PDL. Rule systems can be used in network management and monitoring, electronic commerce, computer security and access management, resource allocation to express policies -- collections of general principles to guide the general behavior of a system. Until very recently, most implementations of such policy based systems were done ad hoc in a case by case bases. Policy enforcement was embedded in the application and switching applications requires the re-implementation of the policy module. Based on the Event/Condition/Action rule paradigm and the foundational model of action theories, PDL was designed to implement application independent policy servers.The first incarnation of this endeavor was a PDL based policy server implemented as part of the Operations, Administration, Maintenance and Provisioning (OMNP) system of a telecommunication network of softswithces. I also built a policy server based on a dialect of PDL for the access control management of a Presence Server. The server has been successfully tested inside two cellular phone networks in Europe. At IBM I am collaborating with the team developing PMAC, IBM's policy management infrastructure for autonomic computing. And I will always be interested in the semantics of logic programs, non-monotonic reasoning, active databases, abduction, theories of action and change, ...
Last updated 22 Sep 2005
