STI Innsbruck is a research group at the University of Innsbruck engaged in research and development to bring information and communication technologies of the future into today's world.

Darko Anicic

Darko
Anicic
Phone: 
+43 512 507 96817
Mobile: 
Fax: 
+43 512 507 9872
Email: 
Research Interests
  • Automated Reasoning: Reasoning with Large Data Sets, Deductive Database Algorithms and Optimization Techniques, Hybrid Reasoning Based on DLs and Logic Programming and Reasoning in Distributed Environments;
  • Semantic Web Technologies in general;
  • Software Engineering, Databases.