The Institute of Software Technology is concerned with the theoretical, practical and applied aspects of software engineering. Research lies in the field of intelligent systems, formal verification and systematic testing of software, artificial intelligence, requirements engineering, recommender systems, optimization of industrial problems, game theory, agile software development processes, computer languages, computer science education, management of software development projects (including knowledge management), software development for and on smartphones and tablets, combinatorics and complexity theory, algorithms and computational geometry, and intelligent autonomous robots.