About
Dr. Temur Kutsia is a researcher at the Research Institute for Symbolic Computation (RISC), affiliated with Johannes Kepler University Linz in Austria. His work spans multiple areas in theoretical computer science and formal methods.
- Research areas include Matching and Unification, Generalization, and Declarative Programming
- Specializes in Automated Reasoning, Security and Verification, and Formal Languages
- Contributions to topics related to the Lambda Calculus
0Publications listed
Find Temur Kutsia elsewhere
Related Searches
You Might Also Like
![Teimuraz Kutsia](https://www3.risc.jku.at/people/pictures/tkutsia-screen.jpg?id=1924505069")
Teimuraz KutsiaJohannes Kepler University Linz · Associate Professor![Nikolaj Popov](https://www3.risc.jku.at/people/pictures/npopov-screen.jpg?id=53192290")
Nikolaj PopovJohannes Kepler University Linz · Research Professor- TTudor JebeleanJohannes Kepler University Linz · Professor
- WWolfgang SchreinerJohannes Kepler University Linz · Professor
![Cristian-Silviu Radu](https://www3.risc.jku.at/people/pictures/sradu-screen.jpg?id=1707480650")
Cristian-Silviu RaduJohannes Kepler University Linz · Researcher- WWolfgang WindsteigerJohannes Kepler University Linz · Associate Professor