Main
Contact
Priv.-Doz. Dr. Temur Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University Linz
Altenbergerstrasse 69
A-4040 Linz, Austria
+43 (0)732 2468 9982 (phone)
+43 (0)732 2468 9930 (fax)
kutsia@risc.jku.at
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.
Editorial Activities
Guest editor. Special issue of the Journal of
Symbolic Computation on Symbolic Computation in Software Science.
Guest editor. Special issue of the Journal of
Symbolic Computation on Automated Specification and Verification of Web Systems.
Guest editor. Special issue of the Journal of
Applied Logic on Automated Specification and Verification of Web Systems.
Member of the editorial board. Tbilisi Mathematical Journal.
Projects
SToUT: Symbolic Computation Techniques for Unranked Terms (2012-2014).
Curriculum Vitae
CV in pdf format.