Informatics, TU Vienna

Institute of Computer Languages

Head: Prof. Jens Knoop

Web: www.logic.at/e185.html

Research Groups

The Institute of Computer Languages (E185) consists of the following research groups:

Please visit an individual research group's website for further details on staff, research projects, publications, and courses.

Research Topics

The research of the Institute of Computer Languages includes theoretical computer science and logic, in particular deduction systems, proof theory and automata and formal languages, as well as the theory of programming languages, their design, implementation and application as well as interactions with related fields such as distributed systems, computer architecture, and operating systems.

Focal points of research are programming environments and development tools, embedded systems, analysis, verification, and optimization for compilers and interpreters, as well as programming and communication and coordination paradigms and standards such as space based computing and semantic web and their deployment in new innovative application scenarios.