Objectives of general skills

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

UE's Learning outcomes

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

UE Content

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.

Term 1 for Integrated Assessment - type

• N/A

Term 1 for Integrated Assessment - comments

Not applicable

Term 2 for Integrated Assessment - type

• Presentation and works

Term 2 for Integrated Assessment - comments

Presentation and works 100%

Term 3 for Integrated Assessment - type

• Presentation and works

Term 3 for Integrated Assessment - comments

Presentation and works 100%

Resit Assessment for IT - Term 1 (B1BA1) - Comments

Not applicable