Unit

Department of Computer Science

Research fields

• Programming Methodology: Generic Modeling in complex, performance-critical, data-intensive Software
• Software Development: Synthesis and Automated Generation of Components, Code, Tests, Documentation
• Code Transformation: Multi-Stage Language Processing, Compilation, Optimization, Concurrency, Portability
• Algorithms and Data Structures: Graphs, Geometry, Grids, Numerics, Data Analysis