My main area of research is in programming languages and their applications. In particular, constraint languages and constraint programming paradigns. One of my major contributions is the widely-used constraint programming language CLP(R). Various research topics of interest related to constraints and programming languages are: program analysis, constraint solving algorithms, problem modelling, implementation, etc.
Other research areas which I am currently working on include computer systems and security, distributed and cloud computing and social networks.
Previously I have also worked on inter-disciplinary research which includes the following: