The main research topics of our group are:

• Programming Languages: design principles, type systems, semantics, compiler construction
• Program Analysis: data flow analysis and abstract interpretation, program optimization, partial verification of programs
• Programming Environments: systems and tools for program development, testing, and debugging
• High-level Languages for Reliable Software Development: functional, logic, object-oriented and concurrent programming languages and their integration and application for the development of complex systems
• Application of Programming Languages: internet programming, e-learning, programming of embedded systems