He obtained his Ph.D. in Computer Science from Monash University, Australia. He is known for his work in Constraint Logic Programming (CLP), in particular, the CLP(R) system which is one of the earliest CLP systems with arithmetic constraints. His current research interests are in the areas of constraints, distributed systems, programming languages, security and social networks.