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 (since 2010), WWV'11, LLC'11 (area co-chair), AITC'11, WWV'12, ATX'12, SCSS'12, CICM'13, SCSS'13, RTA'13, LPAR-19, SCSS'14 (PC co-chair), UNIF'14 (PC co-chair), PPDP'14, UNIF'15, RTA'15, LPAR-20, SCSS'16, LSFA'16, UNIF'16, SCSS'17, CICM'17, UNIF'17, MACIS'17 (PC co-chair), ICMS'18, UNIF'18, UNIF'19, CICM'20, UNIF'20 (PC co-chair), LOPSTR'20, FSCD'21.

Editorial Activities

Member of the editorial board. Journal of Symbolic Computation.
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 Project Euclid.