UE I9AMF-A - Master informatique Université de Bordeaux (elective)

List of courses

• Your choice: 1 of 2

  • UE I9AMF-A1 - Models and algorithms

    25 credits

    • Customization (your choice)

      • Choice: 1 of 3

        • Games, synthesis and control

        • Software verification

        • Applied algorithms

    • Logic and languages

    • Advanced graph theory

    • Distributed algorithms

    • Seminar

    • Introduction to research

  • UE I9AMF-A2 - Software verification

    25 credits

    • Customization 1 (your choice)

      • Your choice: 1 of 4

        • Advanced graph theory

        • Distributed algorithms

        • Type systems and programming

        • Types, specifications and proofs

    • Customization 2 (your choice)

      • Your choice: 1 of 2

        • Logic and languages

        • Applied algorithms

    • Games, synthesis and control

    • Software verification

    • Seminar

    • Introduction to research