Main
Contact
| Priv.-Doz. Dr. Temur Kutsia | |
| Research Institute for Symbolic Computation | Office: Castle of Hagenberg, Room -2.14 |
| Johannes Kepler University Linz | Phone: +43 (0)732 2468 9982 |
| Altenbergerstrasse 69 | Fax: +43 (0)732 2468 9930 |
| A-4040 Linz, Austria | Email: 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.
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
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.