Background and Research Interests

I studied in Patras University, Greece. I got my BS from Computer Engineering and Informatics Department (June 1997).
In September 1997 I entered the Computer Science Department at Rice University. I am interested in algorithms and complexity, especially in automata theory and application of automata to program verification. I am also interested in propositional satisfiability and threshold phenomena.

We are currently studying the average-case complexity of 3-SAT using different solvers. Our experiments provide evidence that the surface of the running time, as a function of the density d and order n, changes with the solver and also that the density-order quadrant contains several solver dependent phase transitions.