Objectives of Programme's Learning Outcomes

• Have integrated and elaborate mathematical knowledge.
• Mobilise the Bachelor's course in mathematics to address complex issues and have profound mathematical expertise to complement the knowledge developed in the Bachelor's course.
• Use prior knowledge to independently learn high-level mathematics.
• Research mathematical literature in an efficient and relevant way.
• Read research articles in at least one discipline of mathematics.
• Apply innovative methods to solve an unprecedented problem in mathematics or within its applications.
• Mobilise knowledge, and research and analyse various information sources to propose innovative solutions targeted unprecedented issues.
• Communicate clearly.
• Communicate the results of mathematical or related fields, both orally and in writing, by adapting to the public.
• make a structured and reasoned presentation of the content and principles underlying a piece of work, mobilised skills and the conclusions it leads to.
• Have sufficient knowledge of English for basic scientific communication.
• Adapt to different contexts.
• Have developed a high degree of independence to acquire additional knowledge and new skills to evolve in different contexts.
• Critically reflect on the impact of mathematics and the implications of projects to which they contribute.
• Demonstrate thoroughness, independence, creativity, intellectual honesty, and ethical values.
• Skill 6: Have acquired professional skills in relation to the objective defining the degree.
• Have gained expertise and specialised knowledge in a field of mathematics in order to enter fully into the world of research.
• Demonstrate intuition and creativity to tackle new mathematical problems.
• Expose high-level mathematical results to a specialised audience.
• Communicate clearly.
• Communicate the results of mathematical or related fields, both orally and in writing, by adapting to the public.
• make a structured and reasoned presentation of the content and principles underlying a piece of work, mobilised skills and the conclusions it leads to.
• Have sufficient knowledge of English for basic scientific communication.

Learning Outcomes of UE

Initiation to scientific research in the domain of computer-aided verification.

Content of UE

Scientific articles related to computer-aided verification

Prior Experience

The students should have very good skills in computer science and/or in mathematics. They should be attracted by the scientific research.

Type of Assessment for UE in Q1

• N/A

Q1 UE Assessment Comments

Not applicable

Type of Assessment for UE in Q2

• Presentation and/or works

Q2 UE Assessment Comments

Presentation and works 100%

Type of Assessment for UE in Q3

• Presentation and/or works

Q3 UE Assessment Comments

Presentation and works 100%

Type of Resit Assessment for UE in Q1 (BAB1)

• N/A

Q1 UE Resit Assessment Comments (BAB1)

Not applicable