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:
- 10/1987-06/1992: Bachelor and Master studies in Informatics
- University of Timisoara, Romania
- Dissertation thesis: Pyramidal Structures and Pattern Recognition
Advisor: Radu Fantaziu
- 1993-1995: Tutor, Department of Informatics, Faculty of Mathematics, University of Timisoara, Romania
- 09/1995-05/2000. PhD studies at institute RISC-Linz in Austria.
- 17/05/2005: PhD thesis: Functional Logic Programming with Distributed Constraint Solving
Advisor: Bruno Buchberger.
- 06/2002-05/2003: postdoc in computer science
- 03/2003-09/2004: Scientific researcher
- Symbolic Computation group
Austrian Academy of Sciences, Johann Radon Institute for Computational and Applied Mathematics (RICAM)
- 09/2004-03/2011: Assistant Professor
- Dept. of Computer Science of Graduate School of Systems and Information Engineering
University of Tsukuba, Japan
- 04/2011-09/2012: Software developer
- GM Analytic Software SRL, Timisoara, Romania
- 05/2011-09/2011: Scientific Researcher III
- West University of Timisoara, Romania
- 09/2011-09/2015: Assistant Professor
- Dept. of Computer Science
West University of Timisoara, Romania
- 09/2015-2022: Associate Professor
- Dept. of Computer Science
West University of Timisoara, Romania
- 06/2018: Habilitation for Doctoral Studies in Informatics
- Habilitation thesis: Computational Models for Declarative Programming
- I am now member of the Doctoral School of Informatics at West University of Timisoara
- Since 2022: Professor
- Dept. of Computer Science
West University of Timisoara, Romania
More info about me can be found in my CV.