Institute of Computer Languages (E185)
Head: Prof. Jens Knoop
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.
Research Groups
- Compilers and Languages (185-1)
- Theory and Logic (185-2)