Main
Contact
| Priv.-Doz. Dr. Temur Kutsia | |
| Research Institute for Symbolic Computation | Office: Castle of Hagenberg, Room 0.7-4 |
| 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 |
Upcoming Events
6th International School on Rewriting, ISR 2012, July 16-20, 2012. Valencia, Spain.
International Seminar on Program Verification, Automated Debugging and Symbolic Computation, PAS 2012,
October 10-12, 2012. Beijing, China.
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, SCSS'12.
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.
Member of the editorial board. Tbilisi Mathematical Journal.
Curriculum Vitae
CV in pdf format.