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:

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.

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, SYNASC'14, SCSS'14 (PC co-chair), UNIF'14 (PC co-chair), PPDP'14, UNIF'15, SYNASC'15, RTA'15, LPAR-20, SCSS'16, LSFA'16, SYNASC'16, UNIF'16, SCSS'17, SYNASC'17, CICM'17, UNIF'17, MACIS'17 (PC co-chair), ICMS'18, UNIF'18.

Editorial Activities

Special issues of the Journal of Symbolic Computation: 2009, 2010, 2014, 2016.
Special issue of the Journal of Applied Logic: 2011.
Member of the editorial board. Tbilisi Mathematical Journal. Published by De Gruyter.