I am Professor in the Department of Computer Science of West University of Timisoara.

My research interests comprise various aspects of declarative programming, constraint solving, unification, rewriting, formal languages, security, automated deduction and reasoning with incomplete information.

I completed my PhD thesis at Johannes Kepler University of Linz and a postdoc at University of Tsukuba, where I focused on the design and implementation of computational models for functional logic programming and distributed constraint solving.

A brief chronological account of my activities:

More info about me can be found in my CV.