We are a small group of researchers associated with the Mathematics and Computer Science Department of the West University of Timişoara and the e-Austria Research Institute. We are interested in Theoretical Computer Science at large, with a special focus on:

  • probabilistic methods and algorithms
  • applications of game theory in theoretical computer science
  • connections between theory of computation and physics (mostly theory of complex systems)
  • logic and its connection with symbolic computation and computational complexity
  • automated theorem proving (yes, we know it’s not really Theoretical Computer Science :))
  • formal languages and its interrelation with XML processing

A list of venues that have recently accepted/published our papers includes International Colloquium on Automata, Languages and Programming, Journal of Symbolic Computation, Theoretical Computer Science, Theory and Practice of Logic Programming, Mathematical Structures in Computer Science,  International Colloquium on Theoretical Aspects of Computing, Symposium on Functional and Logic Programming, Satisfiability Conference, Symposium on Combinatorial Pattern Matching, International Symposium on Symbolic Computation in Software Science, International Conference on Language and Automata Theory and Applications, Information Processing Letters, Physica A.


Earlier News.

Useful pages of local interest: