Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer
Research Interests
- Research Interests: Programming languages and their compilers,
analysis and verification,
automatic parallelization and optimisation,
formal methods and their applications, component-based
software development, distributed and embedded systems.
- Research Focus: Optimizing compilers for imperative,
object-oriented and (data-) parallel languages, specifically
program analysis and optimization, abstract interpretation
and model-checking.