Theoretical Computer Science

  • Pleinlaan 2

    1050 Brussels

    Belgium

Organization profile

Organisation profile

Research theme: Applications of logic in computer science. Computer science can be regarded as ``applied logic''; from the level of hardware (circuits) up to sophisticated knowledge representation (e.g. nonmonotonic reasoning). Areas of interest include: 1. Modelling argumentation; 2. Nonmonotonic reasoning formalisms; 3. Formal specification and verification of complex software systems; 4. Logic programming semantics.

Fingerprint

Dive into the research topics where Theoretical Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or