(This page is still under construction)

We are a small group of researchers associated with West University of Timisoara 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
• logic and its interconnection with symbolic computing and computational complexity
• formal languages and its interrelation with XML processing
  

LATEST NEWS:

• March 2012: In addition to the already traditional AITC 2012, a theory track of SYNASC, we plan to organize a Theory Day in Timisoara affiliated to SYNASC 2012.
  
• January 2012: Gabriel Istrate and Cosmin Bonchiş have completed a new paper "Minimum Entropy Submodular Set Cover and Social Welfare in Cooperative Games"
  
• October 2011: Gabriel Istrate has won a CNCS PN II-IDEI Grant. Estimated Starting Day: May 1st. Stay tuned.