With a Ph.D. in Computer Science from the University of Birmingham, U.K., he worked as a postdoctoral research fellow at Ecole Polytechnique (Paris), Ben-Gurion University (Israel) and The University of Waikato (New Zealand), His work has focused mainly on semantic based program analysis; logic programming; and UML models. His current research includes formal aspects of UML models, logic program analysis and analysis of Web plug-ins. His research has been supported by an NSF CAREER award and an NSF INT grant.