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 include computer security, formal methods and reconfigurable computing.
I also have interests in inter-disciplinary research which includes the following: