Organisation
Informatics Section
Division
- Study of declarative programming languages (logic & functional) and their applications. - Efficient implementation of declarative programming languages. - Development tools for declarative programming languages, incl. tools for program analysis, verification and transformation & tools based on abstract interpretation. - Knowledge representation & reasoning in logic programming, representation of open knowledge domains, non-monotonic, abductive and temporal reasoning. - Inductive logic programming : methods for knowledge discovery and data mining. - Constraint logic programming with applications in rostering and scheduling. - Hypermedia: authoring aspects; structure, content and representation; design of hypermedia applications, hypermedia data modeling, design and implementation of open distributed hypermedia systems; integration of query and navigational access. - Telematics for Open and Flexible Learning: distributed database of learning resources; hypermedia course development; integrated distributed environment for authoring and delivery of educaitonal material. - Framework based architectures and patterns for system software - Execution environments and runtime systems for distributed applications : multi agent systems, internet applications, HPCN applications, real-time applications. - Frameworks for fault tolerance, performance optimization and security for distributed applications. - Language support for concurrency, coordination and distribution- Study of object-oreinted programming languages (C++, Smalltalk, Eiffel, Java,...) aimed at the definition of a coherent set of coding rules. - Methods for object-oriented design (Booch, OMT,...) with special interest for design patterns. - Object-oriented analysis, emphasizing a complete and formal specification of a software system's requirements. - Study of formal specification languages in different areas (algebraic specifications, LTOS, Z,...). - Computer Graphics, rendering and phot-realistic image synthesis : Monte Carlo image rendering methods, finite-element solutions, combination of forwards and backwards light transport, modelling for global illumination.