Teimuraz Kutsia

Teimuraz Kutsia is an Associate Professor at the Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. His primary research focuses on automated reasoning, unification, rule-based programming, and formal languages. He holds a Privatdozent title (Priv.-Doz.) and has expertise in declarative programming paradigms.

He is affiliated with RISC, located in Hagenberg im Mühlkreis, and his office is in RISC 2, Room -2.14-1. Contact details include phone: +43 732 2468 9982 and email: Temur.Kutsia@risc.jku.at.