Main

Contact

Priv.-Doz. Dr. Temur Kutsia
Research Institute for Symbolic ComputationOffice: Castle of Hagenberg, Room -2.14
Johannes Kepler University LinzPhone: +43 (0)732 2468 9982
Altenbergerstrasse 69Fax: +43 (0)732 2468 9930
A-4040 Linz, AustriaEmail: kutsia@risc.jku.at

Curriculum Vitae

CV in pdf format.

Research Interests

Unification, rule-based programming, automated reasoning, symbolic computation techniques for unranked terms and hedges and their applications in software science and Web systems.

Involvement in Program Committees

UNIF'06, AB'07 (PC co-chair), WWV'07, WRS'08, SCSS'08 (PC co-chair), UNIF'08, WWV'08, RTA'08, SCSS'09, WWV'09 (PC co-chair), LLC'09 (area co-chair), UNIF'10, PAAR'10, WWV'10 (PC co-chair), Calculemus'10, Automatheo'10, ANB'10, SCSS'10, LOPSTR'10, PPDP'10, SYNASC'10, WWV'11, LLC'11 (area co-chair), SYNASC'11, AITC'11, WWV'12, ATX'12, SYNASC'12, SCSS'12, CICM'13, SYNASC'13, SCSS'13, RTA'13, LPAR-19, SCSS'14 (PC co-chair), UNIF'14 (PC co-chair), PPDP'14.

Editorial Activities

Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science.
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems.
Special issue of the Journal of Applied Logic on Automated Specification and Verification of Web Systems.
Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science.
Member of the editorial board. Tbilisi Mathematical Journal.