< Back to previous page


Informatics Section


Lifecycle:1 Oct 1981 →  Today
Organisation profile:

- 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.

Keywords:Database systems, Parallel systems, Distributed systems, Logic programming, Expert systems, Artificial intelligence, Object-Oriented analysis, Software engineering
Disciplines:Applied mathematics in specific fields, Computer architecture and networks, Distributed computing, Information sciences, Information systems, Programming languages, Scientific computing, Theoretical computer science, Visual computing, Other information and computing sciences