(One of the Course Clusters.)

  • Logic = Logic and computation
    • Logic Chair Ana, Thierry, Peter Dy, Bengt
    • Logic: Automata and Formal Languages (@CS)
      • Main teacher Ana, substitute Thierry
    • Logic: Logic in CS (@CS)
      • Main teacher Thierry & Jan Smith, substitute Peter
    • Logic: Models of Computation (@CS)
      • Main teacher Bengt, substitute Ana
    • Logic: Types for Programs and Proofs (@CS)
      • Main teacher Peter & Thierry, substitute Bengt

Related courses/clusters:

  • formal methods and testing
  • functional programming
  • programming language technology


  • automata course should be a pre-requisite for programming language course
  • logic in CS should be pre-req for SEuFM