Parcours Master of Science in Informatics at Grenoble (MoSIG)

This module introduces the main concepts available in programming languages to execute a program on a machine. Moreover, it presents compilers, the programs used to transform human-readable programs into machine-readable programs.

More specifically, this module aims to provide:  

 - the formal tools allowing to describe (static and dynamic) program semantics;

 - the main algorithms and transformation steps implemented within a compiler to produce a sound and correct executable code.

Voir la page complète

This course introduces some of the main concepts of software engineering (lifecycle/development process, requirements, specification architecture, global and detailed design, test, project supervision and management).

The first part of this course focuses on the Unified Modeling Language and presents the object and class diagrams, use cases, state-transition and sequence diagrams. The second part focuses on the development phases and presents the development process, how to manage requirements, the notion of software architecture, design patterns, tests, and project management.

Voir la page complète

This class is an introduction to general operating systems concepts that every programmer and computer scientist must know.

The course presents the main roles of an operating system and the challenges associated with the design of an operating system. The main components of an operating system are studied, including: memory management, task management, management of storage devices.

For each component, we present the main design choices in existing operating systems. We study how these design choices are guided by the characteristics of the underlying hardware and how the components interact with the hardware.

Additionally, a special focus is given to concurrent programming. The challenges and pitfalls of concurrent programming are introduced. Using the POSIX thread interface, we study the main programming concepts and methodologies to write correct and efficient concurrent programs.

Organization:
The class is based on an 11-week semester, with 3 hours of lectures and 3 hours of in-class lab sessions per week.
The labs are based on the C language, the Linux operating system and the POSIX programming standard.

Remark : For the interested students wishing to study the detailed design and implementation of an operating system, an optional (1-month) programming project is available at the end of the semester in a separate class (see GBX7MO08 - Programming project/OS).

Voir la page complète

This course has for objectives to develop proficiencies in algorithms analysis, algorithm writing, and problem solving in general using algorithms.
This course uses Problem Based Learning methods for teaching, so students are expected to work in groups of 5-6 people during class sessions, and will do homework alone between sessions.
Students will solve four big problems during the semester, spanning about 4-6 sessions each. The problems will cover the following topics: advanced data structures (designing data structures to help solving a problem), greedy algorithms, dynamic programming, approximation algorithms, and more importantly the orthogonal notions of algorithm complexity and algorithm quality (in terms of solution produced).

Voir la page complète

The objective of this course is to provide the basis
This way, every student can use the adequate mathematical tools for designing well-founded reasoning and prove properties.
More precisely, the content is the following: 
Overview of proving techniques, Induction, Counting, Basics on enumeration and combinatorics
, Divisibility, Discrete structures and graphs, Probability, Modeling and classical laws, Random walks.

Voir la page complète

Visual computing is the computer science discipline that deals with images.  The ability to analyse, interpret and create images with computers is an essential part of computer science.  This is illustrated with the ever growing set of devices that can display, generate and capture images and with the associated increase of image usage in everyday life.  This course introduces  some of the basic principles and techniques in this domain that are used in most image related fields such as computer vision, computer graphics and medical imaging. 

Voir la page complète

This course aims to introduce to students the basics of and a large overview on Artifical Intelligence, including Machine Learning, Deep Learning and Symbolic AI. 

Voir la page complète

This project shows the internals of an operating system. We use an emulated operating system: NachOS. The aim is to put into practice the theoretical knowledge obtained during the OS course. In NachOS the students will have the opportunity to program the thread management system, the memory management system, the file system, as well as the network protocols (these represent different stages of the project). NachOS comes as a fully functioning yet very simple OS. Students need to first understand the software and then are invited to incrementally program additional OS treatments. The more time you spend on it, the more fun it is!

Voir la page complète

The aim of this project is to develop a simple compiler. That is, a translator from a source language to a target language. The source language is a typed functional language, inspired by ML (eg. OCaml), with other features such as message-passing concurrent processes. The target language is Java. The implementation language is free, but Java is encouraged as some building blocks are provided to the student (notably a parser). The project consists in a few independent steps including a parser, code analysis (typechecking), translation to a generic intermediary language, and target code generation.

Voir la page complète

This course is the internship conducted in a research lab in Grenoble area. It consists of two parts: a part-time period of 3 months with one day a week followed by a full-time period of 5 weeks. During these periods, the interns are enrolled in research activities in labs. At the end of the period, a report and oral presentation in the forms of a research paper and research talk, respectively, are exptected.

Voir la page complète

The objective is a better understanding of the research world. This course overviews the principles of academic research conducted in research lab. First, it presents Grenoble’s academic landscape and the main research institutions. Moreover, it presents the principles of academic research. Then, it presents method guidelines to a) conduct successful research, b) read and write papers, give research talks.

Voir la page complète

Voir la page complète

This course gives an introduction to digital circuits modeling, design, and verification, and to the associated methods and tools (simulation, simulation with formal assertions, ASIC synthesis, FPGA synthesis).

Ce cours fournit une introduction à la modélisation, la conception et la vérification des circuits numériques, ainsi qu’aux méthodes et outils associés (simulation, simulation avec assertions formelles, synthèse ASIC, synthèse FPGA).

Voir la page complète

Skills

• Recognize a situation where Operations Research is relevant.
• Know the main tools of Operations Research.
• Have the methodological elements to choose the solution methods and the tools the most adapted for a given practical problem.
• Know how to manipulate the software tools to solve a discrete optimization problem.

The course covers various topics:

• Linear Programming (modelling, solving, duality)
• Mixed Integer Linear Programming (modelling techniques, solving with Branch and Bound)
• Dynamic Programming
• Bonus (riddles, elsewhere on the web, OR News)

More details : https://moodle.caseine.org/course/view.php?id=42

Voir la page complète

Databases today  are essential to every business, corporation  and  many scientific investigations. They are behind  major  popular  systems as Google  or Amazon, they  store  important data of many  kind of companies and they are  even key components in research on physics, biology, health and several other fields. Database Management Systems (DBMS)  are powerful, but complex, systems  for creating  and managing  large amounts of data efficiently  and allowing it to persist over the time. In this course, we shall learn the foundations of DBMS and  most important  aspects  to design and to use  relational databases.

Program summary :
The theoretic part covers the following topics: DBMS functionalities, overview of the most common data models, the relational approach (algebra, SQL, normalization, etc.) ,  transactional support  and database design. We study database schema design using the entity-relation model and introduce an algorithm to translate such an abstraction to a normalized relational schema.  The pragmatic part of the course is intended to familiarize students with the use of the Standard Query Language, SQL. We also introduce JDBC, the Java API to access
relational databases.

Voir la page complète

After presenting the major differences between a centralized system and a distributed one, this option shows students both the "user" and the "designer" side of distributed applications. Students get acquainted with existing distributed middleware and see how the latter tackle the problems of distributed system design. Are discussed the principles of distributed communication, including client/server synchronous architectures and publish/subscribe decoupled ones. The students also zoom into distributed middleware implementation and learn the basics of distributed algorithmics. Working with simple distributed topologies, they get to write simple algorithms and reason about their correctness.

Voir la page complète

Target skills :
The goal is to present the core principles of human-centered approaches for analyzing, designing, implementing and evaluating interactive systems. At the end, students must be familiar with utility (good coverage of the needs) and usability (good quality of service), the two key properties in Human-Computer Interaction for both criticizing and developing high quality User Interfaces (UI). The principles are applied to graphical UIs, including web sites.

Students who attend this course should be able to design, implement and evaluate interactive systems following a user centered approach.

Program summary :
The course presents the key steps and models in user centered design. Then it focuses on ergonomic criteria for sustaining both the design and evaluation of user interfaces.

- Analysis: cognitive models, motivations for the system, models of the user, environment, and activity
- Design: tasks, concepts and platform models, ergonomic criteria, abstract and concrete user interfaces, specifications (User Action Notation)
- Implementation: software architecture models, tools (overview of web programming techniques)
- Evaluation: predictive and experimental, qualitative and quantitative approaches.

The course includes 18h of formal lectures and 18h of project. The project lasts during the whole semester. Students have to analyse a need, design and prototype an interactive system, and evaluate it. The theme is chosen by the students. They have to produce two documents (analysis and design), a prototype, and to test it through user experiments.

Voir la page complète

Learn basic concepts of computer networking and acquire practical notions of protocols with an emphasis on TCP/IP.

Voir la page complète

Computer Graphics covers the set of techniques enabling the synthesis of animated virtual worlds. The applications range from entertainment (special effects, 3D feature films, video games), to industrial design (modelling and visualizing prototypes) and virtual reality (flight simulator, interactive walk-trough). This course introduces the domain by presenting the bases for the creation of 3D models, their animation, and the rendering of the corresponding 3D scene. Student will be invited to practice through programming exercises in OpenGL.

Voir la page complète

The aim of this course is to give an introduction to software developments for mobile robotics applications and internet of things. The course is decidedly practical with several labs and a project on real robots. It uses "learning by doing" and "learning by project" approaches.

At first, the basic concepts of mobile robotics (sensors, actuators, perception, decision, action ...) and Internet of Things are presented and directly implemented on real robots to realize a software prototype of "follow me" by a small mobile robot.

In a second step, in a project, the basic concepts are deepened during the realization of a complete application of mobile robotics including Internet of Things, for example: a mobile robot "coffee dispenser", a robot "patroller", a robot "guide visit" ...

Knowledge of C / C ++ or python is essential.

The course outline can be found at :

http://lig-membres.imag.fr/aycard/html/Enseignement/M1/Robotics2/index.html

Course illustrations can be found at :

http://lig-membres.imag.fr/aycard/html/Projects/Robair/robair.html

Voir la page complète

To acquire the main theoretical and practical notions of modern cryptography: from notions in algorithmic complexity and information theory, to a general overview on the main algorithms and protocols in symmetric and asymmetric cryptography.

Voir la page complète

The use of multiprocessor machines has become mandatory and most applications are now running on machines with parallel processing units, from tablets to supercomputers. These applications concern both public and private scientific research, as well as industrial and commercial enterprises.

This lecture and lab work presents the parallel computing domain in different aspects: architectural, algorithmic, parallel programming languages, performance measurements, etc. Examples of parallel algorithms in different domains are also studied.

The course allows you to understand how to design and program a parallel application and run it on a multicore processor or a classical parallel cluster machine. The lab work on machines allows to implement the concepts studied during the lectures, and this with the language extensions ​​OpenMP and MPI.

----------------------

L'usage des machines multiprocesseurs est devenu incontournable et la plupart des applications s'exécutent aujourd'hui sur des machines disposant de plusieurs unités de traitement s'exécutant en parallèle, depuis les tablettes jusqu'aux supercalculateurs. Ces applications concernent à la fois la recherche scientifique (physique, chimie, biologie,...), mais également les entreprises industrielles et commerciales. Ce domaine s'appelle le calcul haute performance (High Performance Computing, HPC).

Cet enseignement d'informatique présente le domaine du HPC sous différents aspects : architecturaux, algorithmiques, langages de programmation parallèle, évaluation de performances, ... Plusieurs exemples d'algorithmes parallèles, issus de différents domaines scientifiques, sont disséqués et étudiés.

Le contenu de cet enseignement permet de comprendre comment concevoir, programmer et exécuter efficacement une application parallèle sur un large spectre de plates-formes, allant d'un simple processeur multicore en passant par une machine multiprocesseurs à 200 coeurs et jusqu'à une grappe (cluster) de serveurs multiprocesseurs. Les travaux pratiques sur machines parallèles représentent une partie importante de cet enseignement et vont mettre en oeuvre les concepts étudiés en cours, en particulier en utilisant les extensions de langages OpenMP et MPI.

Voir la page complète

This module introduces the fundamental aspects of computer science and particularly focuses on the notions of computability and complexity. Regarding computability theory, it presents the basic formal model to reason on the notion of computation, i.e., the Turing machine and its variants. Based on this computational model, the notions of decidable and semi-decidable languages will be defined, while the existence of languages which are undecidable will be shown. Regarding complexity theory, it presents the main classes of time complexity such as P, NP, as well as the notion of NP-completeness. Several problems in the domains of propositional logic, graphs and scheduling are studied with respect to their time complexity by proposing either polynomial-time algorithms to solve them efficiently or polynomial-time reductions to prove their hardness.

Course opened in 2018/2019

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

This module introduces the main concepts available in programming languages to execute a program on a machine. Moreover, it presents compilers, the programs used to transform human-readable programs into machine-readable programs.

More specifically, this module aims to provide:  

 - the formal tools allowing to describe (static and dynamic) program semantics;

 - the main algorithms and transformation steps implemented within a compiler to produce a sound and correct executable code.

Voir la page complète

This course introduces some of the main concepts of software engineering (lifecycle/development process, requirements, specification architecture, global and detailed design, test, project supervision and management).

The first part of this course focuses on the Unified Modeling Language and presents the object and class diagrams, use cases, state-transition and sequence diagrams. The second part focuses on the development phases and presents the development process, how to manage requirements, the notion of software architecture, design patterns, tests, and project management.

Voir la page complète

This class is an introduction to general operating systems concepts that every programmer and computer scientist must know.

The course presents the main roles of an operating system and the challenges associated with the design of an operating system. The main components of an operating system are studied, including: memory management, task management, management of storage devices.

For each component, we present the main design choices in existing operating systems. We study how these design choices are guided by the characteristics of the underlying hardware and how the components interact with the hardware.

Additionally, a special focus is given to concurrent programming. The challenges and pitfalls of concurrent programming are introduced. Using the POSIX thread interface, we study the main programming concepts and methodologies to write correct and efficient concurrent programs.

Organization:
The class is based on an 11-week semester, with 3 hours of lectures and 3 hours of in-class lab sessions per week.
The labs are based on the C language, the Linux operating system and the POSIX programming standard.

Remark : For the interested students wishing to study the detailed design and implementation of an operating system, an optional (1-month) programming project is available at the end of the semester in a separate class (see GBX7MO08 - Programming project/OS).

Voir la page complète

This course has for objectives to develop proficiencies in algorithms analysis, algorithm writing, and problem solving in general using algorithms.
This course uses Problem Based Learning methods for teaching, so students are expected to work in groups of 5-6 people during class sessions, and will do homework alone between sessions.
Students will solve four big problems during the semester, spanning about 4-6 sessions each. The problems will cover the following topics: advanced data structures (designing data structures to help solving a problem), greedy algorithms, dynamic programming, approximation algorithms, and more importantly the orthogonal notions of algorithm complexity and algorithm quality (in terms of solution produced).

Voir la page complète

The objective of this course is to provide the basis
This way, every student can use the adequate mathematical tools for designing well-founded reasoning and prove properties.
More precisely, the content is the following: 
Overview of proving techniques, Induction, Counting, Basics on enumeration and combinatorics
, Divisibility, Discrete structures and graphs, Probability, Modeling and classical laws, Random walks.

Voir la page complète

Visual computing is the computer science discipline that deals with images.  The ability to analyse, interpret and create images with computers is an essential part of computer science.  This is illustrated with the ever growing set of devices that can display, generate and capture images and with the associated increase of image usage in everyday life.  This course introduces  some of the basic principles and techniques in this domain that are used in most image related fields such as computer vision, computer graphics and medical imaging. 

Voir la page complète

This module about the English language includes oral and written communication tools. It teaches how to write professional documents: CV, articles, memorandum, e-mail, letter, master’s…

Moreover, it proposes a training specialised in scientific report writing using written communication techniques and tools and provides the skills to publish reviews or scientific reports (for example technicians). That course will enable people to do a work of quality that they can publish further in scientific magazines.

Voir la page complète

This project shows the internals of an operating system. We use an emulated operating system: NachOS. The aim is to put into practice the theoretical knowledge obtained during the OS course. In NachOS the students will have the opportunity to program the thread management system, the memory management system, the file system, as well as the network protocols (these represent different stages of the project). NachOS comes as a fully functioning yet very simple OS. Students need to first understand the software and then are invited to incrementally program additional OS treatments. The more time you spend on it, the more fun it is!

Voir la page complète

The aim of this project is to develop a simple compiler. That is, a translator from a source language to a target language. The source language is a typed functional language, inspired by ML (eg. OCaml), with other features such as message-passing concurrent processes. The target language is Java. The implementation language is free, but Java is encouraged as some building blocks are provided to the student (notably a parser). The project consists in a few independent steps including a parser, code analysis (typechecking), translation to a generic intermediary language, and target code generation.

Voir la page complète

This course is the internship conducted in a research lab in Grenoble area. It consists of two parts: a part-time period of 3 months with one day a week followed by a full-time period of 5 weeks. During these periods, the interns are enrolled in research activities in labs. At the end of the period, a report and oral presentation in the forms of a research paper and research talk, respectively, are exptected.

Voir la page complète

The objective is a better understanding of the research world. This course overviews the principles of academic research conducted in research lab. First, it presents Grenoble’s academic landscape and the main research institutions. Moreover, it presents the principles of academic research. Then, it presents method guidelines to a) conduct successful research, b) read and write papers, give research talks.

Voir la page complète

To acquire the main theoretical and practical notions of modern cryptography: from notions in algorithmic complexity and information theory, to a general overview on the main algorithms and protocols in symmetric and asymmetric cryptography.

Voir la page complète

This course gives an introduction to digital circuits modeling, design, and verification, and to the associated methods and tools (simulation, simulation with formal assertions, ASIC synthesis, FPGA synthesis).

Ce cours fournit une introduction à la modélisation, la conception et la vérification des circuits numériques, ainsi qu’aux méthodes et outils associés (simulation, simulation avec assertions formelles, synthèse ASIC, synthèse FPGA).

Voir la page complète

Skills

• Recognize a situation where Operations Research is relevant.
• Know the main tools of Operations Research.
• Have the methodological elements to choose the solution methods and the tools the most adapted for a given practical problem.
• Know how to manipulate the software tools to solve a discrete optimization problem.

The course covers various topics:

• Linear Programming (modelling, solving, duality)
• Mixed Integer Linear Programming (modelling techniques, solving with Branch and Bound)
• Dynamic Programming
• Bonus (riddles, elsewhere on the web, OR News)

More details : https://moodle.caseine.org/course/view.php?id=42

Voir la page complète

Databases today  are essential to every business, corporation  and  many scientific investigations. They are behind  major  popular  systems as Google  or Amazon, they  store  important data of many  kind of companies and they are  even key components in research on physics, biology, health and several other fields. Database Management Systems (DBMS)  are powerful, but complex, systems  for creating  and managing  large amounts of data efficiently  and allowing it to persist over the time. In this course, we shall learn the foundations of DBMS and  most important  aspects  to design and to use  relational databases.

Program summary :
The theoretic part covers the following topics: DBMS functionalities, overview of the most common data models, the relational approach (algebra, SQL, normalization, etc.) ,  transactional support  and database design. We study database schema design using the entity-relation model and introduce an algorithm to translate such an abstraction to a normalized relational schema.  The pragmatic part of the course is intended to familiarize students with the use of the Standard Query Language, SQL. We also introduce JDBC, the Java API to access
relational databases.

Voir la page complète

After presenting the major differences between a centralized system and a distributed one, this option shows students both the "user" and the "designer" side of distributed applications. Students get acquainted with existing distributed middleware and see how the latter tackle the problems of distributed system design. Are discussed the principles of distributed communication, including client/server synchronous architectures and publish/subscribe decoupled ones. The students also zoom into distributed middleware implementation and learn the basics of distributed algorithmics. Working with simple distributed topologies, they get to write simple algorithms and reason about their correctness.

Voir la page complète

Target skills :
The goal is to present the core principles of human-centered approaches for analyzing, designing, implementing and evaluating interactive systems. At the end, students must be familiar with utility (good coverage of the needs) and usability (good quality of service), the two key properties in Human-Computer Interaction for both criticizing and developing high quality User Interfaces (UI). The principles are applied to graphical UIs, including web sites.

Students who attend this course should be able to design, implement and evaluate interactive systems following a user centered approach.

Program summary :
The course presents the key steps and models in user centered design. Then it focuses on ergonomic criteria for sustaining both the design and evaluation of user interfaces.

- Analysis: cognitive models, motivations for the system, models of the user, environment, and activity
- Design: tasks, concepts and platform models, ergonomic criteria, abstract and concrete user interfaces, specifications (User Action Notation)
- Implementation: software architecture models, tools (overview of web programming techniques)
- Evaluation: predictive and experimental, qualitative and quantitative approaches.

The course includes 18h of formal lectures and 18h of project. The project lasts during the whole semester. Students have to analyse a need, design and prototype an interactive system, and evaluate it. The theme is chosen by the students. They have to produce two documents (analysis and design), a prototype, and to test it through user experiments.

Voir la page complète

This course brings together programming techniques for recognition and symbolic reasoning. Techniques for symbolic reasoning are provided based on rule based programming and structured knowledge representations using schema. Programming of rules and schema are illustrated with exercises in the CLIPS Expert-System environment (developed by NASA).  Techniques for recognition are presented based on Bayesian pattern recognition and machine learning. Linear and quadratic discrimination functions are presented, followed by feature space reduction techniques based on the Fisher discriminant function and principal Components analysis. An introduction to learning theory is provided  using the EM algorithm to estimate Gaussian Mixture Models.

Voir la page complète

Learn basic concepts of computer networking and acquire practical notions of protocols with an emphasis on TCP/IP.

Voir la page complète

Computer Graphics covers the set of techniques enabling the synthesis of animated virtual worlds. The applications range from entertainment (special effects, 3D feature films, video games), to industrial design (modelling and visualizing prototypes) and virtual reality (flight simulator, interactive walk-trough). This course introduces the domain by presenting the bases for the creation of 3D models, their animation, and the rendering of the corresponding 3D scene. Student will be invited to practice through programming exercises in OpenGL.

Voir la page complète

The aim of this course is to give an introduction to software developments for mobile robotics applications and internet of things. The course is decidedly practical with several labs and a project on real robots. It uses "learning by doing" and "learning by project" approaches.

At first, the basic concepts of mobile robotics (sensors, actuators, perception, decision, action ...) and Internet of Things are presented and directly implemented on real robots to realize a software prototype of "follow me" by a small mobile robot.

In a second step, in a project, the basic concepts are deepened during the realization of a complete application of mobile robotics including Internet of Things, for example: a mobile robot "coffee dispenser", a robot "patroller", a robot "guide visit" ...

Knowledge of C / C ++ or python is essential.

The course outline can be found at :

http://lig-membres.imag.fr/aycard/html/Enseignement/M1/Robotics2/index.html

Course illustrations can be found at :

http://lig-membres.imag.fr/aycard/html/Projects/Robair/robair.html

Voir la page complète

The use of multiprocessor machines has become mandatory and most applications are now running on machines with parallel processing units, from tablets to supercomputers. These applications concern both public and private scientific research, as well as industrial and commercial enterprises.

This lecture and lab work presents the parallel computing domain in different aspects: architectural, algorithmic, parallel programming languages, performance measurements, etc. Examples of parallel algorithms in different domains are also studied.

The course allows you to understand how to design and program a parallel application and run it on a multicore processor or a classical parallel cluster machine. The lab work on machines allows to implement the concepts studied during the lectures, and this with the language extensions ​​OpenMP and MPI.

----------------------

L'usage des machines multiprocesseurs est devenu incontournable et la plupart des applications s'exécutent aujourd'hui sur des machines disposant de plusieurs unités de traitement s'exécutant en parallèle, depuis les tablettes jusqu'aux supercalculateurs. Ces applications concernent à la fois la recherche scientifique (physique, chimie, biologie,...), mais également les entreprises industrielles et commerciales. Ce domaine s'appelle le calcul haute performance (High Performance Computing, HPC).

Cet enseignement d'informatique présente le domaine du HPC sous différents aspects : architecturaux, algorithmiques, langages de programmation parallèle, évaluation de performances, ... Plusieurs exemples d'algorithmes parallèles, issus de différents domaines scientifiques, sont disséqués et étudiés.

Le contenu de cet enseignement permet de comprendre comment concevoir, programmer et exécuter efficacement une application parallèle sur un large spectre de plates-formes, allant d'un simple processeur multicore en passant par une machine multiprocesseurs à 200 coeurs et jusqu'à une grappe (cluster) de serveurs multiprocesseurs. Les travaux pratiques sur machines parallèles représentent une partie importante de cet enseignement et vont mettre en oeuvre les concepts étudiés en cours, en particulier en utilisant les extensions de langages OpenMP et MPI.

Voir la page complète

This module introduces the fundamental aspects of computer science and particularly focuses on the notions of computability and complexity. Regarding computability theory, it presents the basic formal model to reason on the notion of computation, i.e., the Turing machine and its variants. Based on this computational model, the notions of decidable and semi-decidable languages will be defined, while the existence of languages which are undecidable will be shown. Regarding complexity theory, it presents the main classes of time complexity such as P, NP, as well as the notion of NP-completeness. Several problems in the domains of propositional logic, graphs and scheduling are studied with respect to their time complexity by proposing either polynomial-time algorithms to solve them efficiently or polynomial-time reductions to prove their hardness.

Course opened in 2018/2019

Voir la page complète

Voir la page complète

Voir la page complète

This module introduces the main concepts available in programming languages to execute a program on a machine. Moreover, it presents compilers, the programs used to transform human-readable programs into machine-readable programs.

More specifically, this module aims to provide:  

 - the formal tools allowing to describe (static and dynamic) program semantics;

 - the main algorithms and transformation steps implemented within a compiler to produce a sound and correct executable code.

Voir la page complète

This course introduces some of the main concepts of software engineering (lifecycle/development process, requirements, specification architecture, global and detailed design, test, project supervision and management).

The first part of this course focuses on the Unified Modeling Language and presents the object and class diagrams, use cases, state-transition and sequence diagrams. The second part focuses on the development phases and presents the development process, how to manage requirements, the notion of software architecture, design patterns, tests, and project management.

Voir la page complète

This class is an introduction to general operating systems concepts that every programmer and computer scientist must know.

The course presents the main roles of an operating system and the challenges associated with the design of an operating system. The main components of an operating system are studied, including: memory management, task management, management of storage devices.

For each component, we present the main design choices in existing operating systems. We study how these design choices are guided by the characteristics of the underlying hardware and how the components interact with the hardware.

Additionally, a special focus is given to concurrent programming. The challenges and pitfalls of concurrent programming are introduced. Using the POSIX thread interface, we study the main programming concepts and methodologies to write correct and efficient concurrent programs.

Organization:
The class is based on an 11-week semester, with 3 hours of lectures and 3 hours of in-class lab sessions per week.
The labs are based on the C language, the Linux operating system and the POSIX programming standard.

Remark : For the interested students wishing to study the detailed design and implementation of an operating system, an optional (1-month) programming project is available at the end of the semester in a separate class (see GBX7MO08 - Programming project/OS).

Voir la page complète

This course has for objectives to develop proficiencies in algorithms analysis, algorithm writing, and problem solving in general using algorithms.
This course uses Problem Based Learning methods for teaching, so students are expected to work in groups of 5-6 people during class sessions, and will do homework alone between sessions.
Students will solve four big problems during the semester, spanning about 4-6 sessions each. The problems will cover the following topics: advanced data structures (designing data structures to help solving a problem), greedy algorithms, dynamic programming, approximation algorithms, and more importantly the orthogonal notions of algorithm complexity and algorithm quality (in terms of solution produced).

Voir la page complète

The objective of this course is to provide the basis
This way, every student can use the adequate mathematical tools for designing well-founded reasoning and prove properties.
More precisely, the content is the following: 
Overview of proving techniques, Induction, Counting, Basics on enumeration and combinatorics
, Divisibility, Discrete structures and graphs, Probability, Modeling and classical laws, Random walks.

Voir la page complète

Visual computing is the computer science discipline that deals with images.  The ability to analyse, interpret and create images with computers is an essential part of computer science.  This is illustrated with the ever growing set of devices that can display, generate and capture images and with the associated increase of image usage in everyday life.  This course introduces  some of the basic principles and techniques in this domain that are used in most image related fields such as computer vision, computer graphics and medical imaging. 

Voir la page complète

This module about the English language includes oral and written communication tools. It teaches how to write professional documents: CV, articles, memorandum, e-mail, letter, master’s…

Moreover, it proposes a training specialised in scientific report writing using written communication techniques and tools and provides the skills to publish reviews or scientific reports (for example technicians). That course will enable people to do a work of quality that they can publish further in scientific magazines.

Voir la page complète

This project shows the internals of an operating system. We use an emulated operating system: NachOS. The aim is to put into practice the theoretical knowledge obtained during the OS course. In NachOS the students will have the opportunity to program the thread management system, the memory management system, the file system, as well as the network protocols (these represent different stages of the project). NachOS comes as a fully functioning yet very simple OS. Students need to first understand the software and then are invited to incrementally program additional OS treatments. The more time you spend on it, the more fun it is!

Voir la page complète

The aim of this project is to develop a simple compiler. That is, a translator from a source language to a target language. The source language is a typed functional language, inspired by ML (eg. OCaml), with other features such as message-passing concurrent processes. The target language is Java. The implementation language is free, but Java is encouraged as some building blocks are provided to the student (notably a parser). The project consists in a few independent steps including a parser, code analysis (typechecking), translation to a generic intermediary language, and target code generation.

Voir la page complète

This course is the internship conducted in a research lab in Grenoble area. It consists of two parts: a part-time period of 3 months with one day a week followed by a full-time period of 5 weeks. During these periods, the interns are enrolled in research activities in labs. At the end of the period, a report and oral presentation in the forms of a research paper and research talk, respectively, are exptected.

Voir la page complète

The objective is a better understanding of the research world. This course overviews the principles of academic research conducted in research lab. First, it presents Grenoble’s academic landscape and the main research institutions. Moreover, it presents the principles of academic research. Then, it presents method guidelines to a) conduct successful research, b) read and write papers, give research talks.

Voir la page complète

To acquire the main theoretical and practical notions of modern cryptography: from notions in algorithmic complexity and information theory, to a general overview on the main algorithms and protocols in symmetric and asymmetric cryptography.

Voir la page complète

This course gives an introduction to digital circuits modeling, design, and verification, and to the associated methods and tools (simulation, simulation with formal assertions, ASIC synthesis, FPGA synthesis).

Ce cours fournit une introduction à la modélisation, la conception et la vérification des circuits numériques, ainsi qu’aux méthodes et outils associés (simulation, simulation avec assertions formelles, synthèse ASIC, synthèse FPGA).

Voir la page complète

Skills

• Recognize a situation where Operations Research is relevant.
• Know the main tools of Operations Research.
• Have the methodological elements to choose the solution methods and the tools the most adapted for a given practical problem.
• Know how to manipulate the software tools to solve a discrete optimization problem.

The course covers various topics:

• Linear Programming (modelling, solving, duality)
• Mixed Integer Linear Programming (modelling techniques, solving with Branch and Bound)
• Dynamic Programming
• Bonus (riddles, elsewhere on the web, OR News)

More details : https://moodle.caseine.org/course/view.php?id=42

Voir la page complète

Databases today  are essential to every business, corporation  and  many scientific investigations. They are behind  major  popular  systems as Google  or Amazon, they  store  important data of many  kind of companies and they are  even key components in research on physics, biology, health and several other fields. Database Management Systems (DBMS)  are powerful, but complex, systems  for creating  and managing  large amounts of data efficiently  and allowing it to persist over the time. In this course, we shall learn the foundations of DBMS and  most important  aspects  to design and to use  relational databases.

Program summary :
The theoretic part covers the following topics: DBMS functionalities, overview of the most common data models, the relational approach (algebra, SQL, normalization, etc.) ,  transactional support  and database design. We study database schema design using the entity-relation model and introduce an algorithm to translate such an abstraction to a normalized relational schema.  The pragmatic part of the course is intended to familiarize students with the use of the Standard Query Language, SQL. We also introduce JDBC, the Java API to access
relational databases.

Voir la page complète

After presenting the major differences between a centralized system and a distributed one, this option shows students both the "user" and the "designer" side of distributed applications. Students get acquainted with existing distributed middleware and see how the latter tackle the problems of distributed system design. Are discussed the principles of distributed communication, including client/server synchronous architectures and publish/subscribe decoupled ones. The students also zoom into distributed middleware implementation and learn the basics of distributed algorithmics. Working with simple distributed topologies, they get to write simple algorithms and reason about their correctness.

Voir la page complète

Target skills :
The goal is to present the core principles of human-centered approaches for analyzing, designing, implementing and evaluating interactive systems. At the end, students must be familiar with utility (good coverage of the needs) and usability (good quality of service), the two key properties in Human-Computer Interaction for both criticizing and developing high quality User Interfaces (UI). The principles are applied to graphical UIs, including web sites.

Students who attend this course should be able to design, implement and evaluate interactive systems following a user centered approach.

Program summary :
The course presents the key steps and models in user centered design. Then it focuses on ergonomic criteria for sustaining both the design and evaluation of user interfaces.

- Analysis: cognitive models, motivations for the system, models of the user, environment, and activity
- Design: tasks, concepts and platform models, ergonomic criteria, abstract and concrete user interfaces, specifications (User Action Notation)
- Implementation: software architecture models, tools (overview of web programming techniques)
- Evaluation: predictive and experimental, qualitative and quantitative approaches.

The course includes 18h of formal lectures and 18h of project. The project lasts during the whole semester. Students have to analyse a need, design and prototype an interactive system, and evaluate it. The theme is chosen by the students. They have to produce two documents (analysis and design), a prototype, and to test it through user experiments.

Voir la page complète

This course brings together programming techniques for recognition and symbolic reasoning. Techniques for symbolic reasoning are provided based on rule based programming and structured knowledge representations using schema. Programming of rules and schema are illustrated with exercises in the CLIPS Expert-System environment (developed by NASA).  Techniques for recognition are presented based on Bayesian pattern recognition and machine learning. Linear and quadratic discrimination functions are presented, followed by feature space reduction techniques based on the Fisher discriminant function and principal Components analysis. An introduction to learning theory is provided  using the EM algorithm to estimate Gaussian Mixture Models.

Voir la page complète

Learn basic concepts of computer networking and acquire practical notions of protocols with an emphasis on TCP/IP.

Voir la page complète

Computer Graphics covers the set of techniques enabling the synthesis of animated virtual worlds. The applications range from entertainment (special effects, 3D feature films, video games), to industrial design (modelling and visualizing prototypes) and virtual reality (flight simulator, interactive walk-trough). This course introduces the domain by presenting the bases for the creation of 3D models, their animation, and the rendering of the corresponding 3D scene. Student will be invited to practice through programming exercises in OpenGL.

Voir la page complète

The aim of this course is to give an introduction to software developments for mobile robotics applications and internet of things. The course is decidedly practical with several labs and a project on real robots. It uses "learning by doing" and "learning by project" approaches.

At first, the basic concepts of mobile robotics (sensors, actuators, perception, decision, action ...) and Internet of Things are presented and directly implemented on real robots to realize a software prototype of "follow me" by a small mobile robot.

In a second step, in a project, the basic concepts are deepened during the realization of a complete application of mobile robotics including Internet of Things, for example: a mobile robot "coffee dispenser", a robot "patroller", a robot "guide visit" ...

Knowledge of C / C ++ or python is essential.

The course outline can be found at :

http://lig-membres.imag.fr/aycard/html/Enseignement/M1/Robotics2/index.html

Course illustrations can be found at :

http://lig-membres.imag.fr/aycard/html/Projects/Robair/robair.html

Voir la page complète

The use of multiprocessor machines has become mandatory and most applications are now running on machines with parallel processing units, from tablets to supercomputers. These applications concern both public and private scientific research, as well as industrial and commercial enterprises.

This lecture and lab work presents the parallel computing domain in different aspects: architectural, algorithmic, parallel programming languages, performance measurements, etc. Examples of parallel algorithms in different domains are also studied.

The course allows you to understand how to design and program a parallel application and run it on a multicore processor or a classical parallel cluster machine. The lab work on machines allows to implement the concepts studied during the lectures, and this with the language extensions ​​OpenMP and MPI.

----------------------

L'usage des machines multiprocesseurs est devenu incontournable et la plupart des applications s'exécutent aujourd'hui sur des machines disposant de plusieurs unités de traitement s'exécutant en parallèle, depuis les tablettes jusqu'aux supercalculateurs. Ces applications concernent à la fois la recherche scientifique (physique, chimie, biologie,...), mais également les entreprises industrielles et commerciales. Ce domaine s'appelle le calcul haute performance (High Performance Computing, HPC).

Cet enseignement d'informatique présente le domaine du HPC sous différents aspects : architecturaux, algorithmiques, langages de programmation parallèle, évaluation de performances, ... Plusieurs exemples d'algorithmes parallèles, issus de différents domaines scientifiques, sont disséqués et étudiés.

Le contenu de cet enseignement permet de comprendre comment concevoir, programmer et exécuter efficacement une application parallèle sur un large spectre de plates-formes, allant d'un simple processeur multicore en passant par une machine multiprocesseurs à 200 coeurs et jusqu'à une grappe (cluster) de serveurs multiprocesseurs. Les travaux pratiques sur machines parallèles représentent une partie importante de cet enseignement et vont mettre en oeuvre les concepts étudiés en cours, en particulier en utilisant les extensions de langages OpenMP et MPI.

Voir la page complète

This module introduces the fundamental aspects of computer science and particularly focuses on the notions of computability and complexity. Regarding computability theory, it presents the basic formal model to reason on the notion of computation, i.e., the Turing machine and its variants. Based on this computational model, the notions of decidable and semi-decidable languages will be defined, while the existence of languages which are undecidable will be shown. Regarding complexity theory, it presents the main classes of time complexity such as P, NP, as well as the notion of NP-completeness. Several problems in the domains of propositional logic, graphs and scheduling are studied with respect to their time complexity by proposing either polynomial-time algorithms to solve them efficiently or polynomial-time reductions to prove their hardness.

Course opened in 2018/2019

Voir la page complète

Voir la page complète

Voir la page complète

This module introduces the main concepts available in programming languages to execute a program on a machine. Moreover, it presents compilers, the programs used to transform human-readable programs into machine-readable programs.

More specifically, this module aims to provide:  

 - the formal tools allowing to describe (static and dynamic) program semantics;

 - the main algorithms and transformation steps implemented within a compiler to produce a sound and correct executable code.

Voir la page complète

This course introduces some of the main concepts of software engineering (lifecycle/development process, requirements, specification architecture, global and detailed design, test, project supervision and management).

The first part of this course focuses on the Unified Modeling Language and presents the object and class diagrams, use cases, state-transition and sequence diagrams. The second part focuses on the development phases and presents the development process, how to manage requirements, the notion of software architecture, design patterns, tests, and project management.

Voir la page complète

This class is an introduction to general operating systems concepts that every programmer and computer scientist must know.

The course presents the main roles of an operating system and the challenges associated with the design of an operating system. The main components of an operating system are studied, including: memory management, task management, management of storage devices.

For each component, we present the main design choices in existing operating systems. We study how these design choices are guided by the characteristics of the underlying hardware and how the components interact with the hardware.

Additionally, a special focus is given to concurrent programming. The challenges and pitfalls of concurrent programming are introduced. Using the POSIX thread interface, we study the main programming concepts and methodologies to write correct and efficient concurrent programs.

Organization:
The class is based on an 11-week semester, with 3 hours of lectures and 3 hours of in-class lab sessions per week.
The labs are based on the C language, the Linux operating system and the POSIX programming standard.

Remark : For the interested students wishing to study the detailed design and implementation of an operating system, an optional (1-month) programming project is available at the end of the semester in a separate class (see GBX7MO08 - Programming project/OS).

Voir la page complète

This course has for objectives to develop proficiencies in algorithms analysis, algorithm writing, and problem solving in general using algorithms.
This course uses Problem Based Learning methods for teaching, so students are expected to work in groups of 5-6 people during class sessions, and will do homework alone between sessions.
Students will solve four big problems during the semester, spanning about 4-6 sessions each. The problems will cover the following topics: advanced data structures (designing data structures to help solving a problem), greedy algorithms, dynamic programming, approximation algorithms, and more importantly the orthogonal notions of algorithm complexity and algorithm quality (in terms of solution produced).

Voir la page complète

The objective of this course is to provide the basis
This way, every student can use the adequate mathematical tools for designing well-founded reasoning and prove properties.
More precisely, the content is the following: 
Overview of proving techniques, Induction, Counting, Basics on enumeration and combinatorics
, Divisibility, Discrete structures and graphs, Probability, Modeling and classical laws, Random walks.

Voir la page complète

Visual computing is the computer science discipline that deals with images.  The ability to analyse, interpret and create images with computers is an essential part of computer science.  This is illustrated with the ever growing set of devices that can display, generate and capture images and with the associated increase of image usage in everyday life.  This course introduces  some of the basic principles and techniques in this domain that are used in most image related fields such as computer vision, computer graphics and medical imaging. 

Voir la page complète

This module about the English language includes oral and written communication tools. It teaches how to write professional documents: CV, articles, memorandum, e-mail, letter, master’s…

Moreover, it proposes a training specialised in scientific report writing using written communication techniques and tools and provides the skills to publish reviews or scientific reports (for example technicians). That course will enable people to do a work of quality that they can publish further in scientific magazines.

Voir la page complète

This project shows the internals of an operating system. We use an emulated operating system: NachOS. The aim is to put into practice the theoretical knowledge obtained during the OS course. In NachOS the students will have the opportunity to program the thread management system, the memory management system, the file system, as well as the network protocols (these represent different stages of the project). NachOS comes as a fully functioning yet very simple OS. Students need to first understand the software and then are invited to incrementally program additional OS treatments. The more time you spend on it, the more fun it is!

Voir la page complète

The aim of this project is to develop a simple compiler. That is, a translator from a source language to a target language. The source language is a typed functional language, inspired by ML (eg. OCaml), with other features such as message-passing concurrent processes. The target language is Java. The implementation language is free, but Java is encouraged as some building blocks are provided to the student (notably a parser). The project consists in a few independent steps including a parser, code analysis (typechecking), translation to a generic intermediary language, and target code generation.

Voir la page complète

This course is the internship conducted in a research lab in Grenoble area. It consists of two parts: a part-time period of 3 months with one day a week followed by a full-time period of 5 weeks. During these periods, the interns are enrolled in research activities in labs. At the end of the period, a report and oral presentation in the forms of a research paper and research talk, respectively, are exptected.

Voir la page complète

The objective is a better understanding of the research world. This course overviews the principles of academic research conducted in research lab. First, it presents Grenoble’s academic landscape and the main research institutions. Moreover, it presents the principles of academic research. Then, it presents method guidelines to a) conduct successful research, b) read and write papers, give research talks.

Voir la page complète

Skills

• Recognize a situation where Operations Research is relevant.
• Know the main tools of Operations Research.
• Have the methodological elements to choose the solution methods and the tools the most adapted for a given practical problem.
• Know how to manipulate the software tools to solve a discrete optimization problem.

The course covers various topics:

• Linear Programming (modelling, solving, duality)
• Mixed Integer Linear Programming (modelling techniques, solving with Branch and Bound)
• Dynamic Programming
• Bonus (riddles, elsewhere on the web, OR News)

More details : https://moodle.caseine.org/course/view.php?id=42

Voir la page complète

This course gives an introduction to digital circuits modeling, design, and verification, and to the associated methods and tools (simulation, simulation with formal assertions, ASIC synthesis, FPGA synthesis).

Ce cours fournit une introduction à la modélisation, la conception et la vérification des circuits numériques, ainsi qu’aux méthodes et outils associés (simulation, simulation avec assertions formelles, synthèse ASIC, synthèse FPGA).

Voir la page complète

Databases today  are essential to every business, corporation  and  many scientific investigations. They are behind  major  popular  systems as Google  or Amazon, they  store  important data of many  kind of companies and they are  even key components in research on physics, biology, health and several other fields. Database Management Systems (DBMS)  are powerful, but complex, systems  for creating  and managing  large amounts of data efficiently  and allowing it to persist over the time. In this course, we shall learn the foundations of DBMS and  most important  aspects  to design and to use  relational databases.

Program summary :
The theoretic part covers the following topics: DBMS functionalities, overview of the most common data models, the relational approach (algebra, SQL, normalization, etc.) ,  transactional support  and database design. We study database schema design using the entity-relation model and introduce an algorithm to translate such an abstraction to a normalized relational schema.  The pragmatic part of the course is intended to familiarize students with the use of the Standard Query Language, SQL. We also introduce JDBC, the Java API to access
relational databases.

Voir la page complète

After presenting the major differences between a centralized system and a distributed one, this option shows students both the "user" and the "designer" side of distributed applications. Students get acquainted with existing distributed middleware and see how the latter tackle the problems of distributed system design. Are discussed the principles of distributed communication, including client/server synchronous architectures and publish/subscribe decoupled ones. The students also zoom into distributed middleware implementation and learn the basics of distributed algorithmics. Working with simple distributed topologies, they get to write simple algorithms and reason about their correctness.

Voir la page complète

Target skills :
The goal is to present the core principles of human-centered approaches for analyzing, designing, implementing and evaluating interactive systems. At the end, students must be familiar with utility (good coverage of the needs) and usability (good quality of service), the two key properties in Human-Computer Interaction for both criticizing and developing high quality User Interfaces (UI). The principles are applied to graphical UIs, including web sites.

Students who attend this course should be able to design, implement and evaluate interactive systems following a user centered approach.

Program summary :
The course presents the key steps and models in user centered design. Then it focuses on ergonomic criteria for sustaining both the design and evaluation of user interfaces.

- Analysis: cognitive models, motivations for the system, models of the user, environment, and activity
- Design: tasks, concepts and platform models, ergonomic criteria, abstract and concrete user interfaces, specifications (User Action Notation)
- Implementation: software architecture models, tools (overview of web programming techniques)
- Evaluation: predictive and experimental, qualitative and quantitative approaches.

The course includes 18h of formal lectures and 18h of project. The project lasts during the whole semester. Students have to analyse a need, design and prototype an interactive system, and evaluate it. The theme is chosen by the students. They have to produce two documents (analysis and design), a prototype, and to test it through user experiments.

Voir la page complète

This course brings together programming techniques for recognition and symbolic reasoning. Techniques for symbolic reasoning are provided based on rule based programming and structured knowledge representations using schema. Programming of rules and schema are illustrated with exercises in the CLIPS Expert-System environment (developed by NASA).  Techniques for recognition are presented based on Bayesian pattern recognition and machine learning. Linear and quadratic discrimination functions are presented, followed by feature space reduction techniques based on the Fisher discriminant function and principal Components analysis. An introduction to learning theory is provided  using the EM algorithm to estimate Gaussian Mixture Models.

Voir la page complète

Learn basic concepts of computer networking and acquire practical notions of protocols with an emphasis on TCP/IP.

Voir la page complète

Computer Graphics covers the set of techniques enabling the synthesis of animated virtual worlds. The applications range from entertainment (special effects, 3D feature films, video games), to industrial design (modelling and visualizing prototypes) and virtual reality (flight simulator, interactive walk-trough). This course introduces the domain by presenting the bases for the creation of 3D models, their animation, and the rendering of the corresponding 3D scene. Student will be invited to practice through programming exercises in OpenGL.

Voir la page complète

The aim of this course is to give an introduction to software developments for mobile robotics applications and internet of things. The course is decidedly practical with several labs and a project on real robots. It uses "learning by doing" and "learning by project" approaches.

At first, the basic concepts of mobile robotics (sensors, actuators, perception, decision, action ...) and Internet of Things are presented and directly implemented on real robots to realize a software prototype of "follow me" by a small mobile robot.

In a second step, in a project, the basic concepts are deepened during the realization of a complete application of mobile robotics including Internet of Things, for example: a mobile robot "coffee dispenser", a robot "patroller", a robot "guide visit" ...

Knowledge of C / C ++ or python is essential.

The course outline can be found at :

http://lig-membres.imag.fr/aycard/html/Enseignement/M1/Robotics2/index.html

Course illustrations can be found at :

http://lig-membres.imag.fr/aycard/html/Projects/Robair/robair.html

Voir la page complète

To acquire the main theoretical and practical notions of modern cryptography: from notions in algorithmic complexity and information theory, to a general overview on the main algorithms and protocols in symmetric and asymmetric cryptography.

Voir la page complète

The use of multiprocessor machines has become mandatory and most applications are now running on machines with parallel processing units, from tablets to supercomputers. These applications concern both public and private scientific research, as well as industrial and commercial enterprises.

This lecture and lab work presents the parallel computing domain in different aspects: architectural, algorithmic, parallel programming languages, performance measurements, etc. Examples of parallel algorithms in different domains are also studied.

The course allows you to understand how to design and program a parallel application and run it on a multicore processor or a classical parallel cluster machine. The lab work on machines allows to implement the concepts studied during the lectures, and this with the language extensions ​​OpenMP and MPI.

----------------------

L'usage des machines multiprocesseurs est devenu incontournable et la plupart des applications s'exécutent aujourd'hui sur des machines disposant de plusieurs unités de traitement s'exécutant en parallèle, depuis les tablettes jusqu'aux supercalculateurs. Ces applications concernent à la fois la recherche scientifique (physique, chimie, biologie,...), mais également les entreprises industrielles et commerciales. Ce domaine s'appelle le calcul haute performance (High Performance Computing, HPC).

Cet enseignement d'informatique présente le domaine du HPC sous différents aspects : architecturaux, algorithmiques, langages de programmation parallèle, évaluation de performances, ... Plusieurs exemples d'algorithmes parallèles, issus de différents domaines scientifiques, sont disséqués et étudiés.

Le contenu de cet enseignement permet de comprendre comment concevoir, programmer et exécuter efficacement une application parallèle sur un large spectre de plates-formes, allant d'un simple processeur multicore en passant par une machine multiprocesseurs à 200 coeurs et jusqu'à une grappe (cluster) de serveurs multiprocesseurs. Les travaux pratiques sur machines parallèles représentent une partie importante de cet enseignement et vont mettre en oeuvre les concepts étudiés en cours, en particulier en utilisant les extensions de langages OpenMP et MPI.

Voir la page complète

This module introduces the fundamental aspects of computer science and particularly focuses on the notions of computability and complexity. Regarding computability theory, it presents the basic formal model to reason on the notion of computation, i.e., the Turing machine and its variants. Based on this computational model, the notions of decidable and semi-decidable languages will be defined, while the existence of languages which are undecidable will be shown. Regarding complexity theory, it presents the main classes of time complexity such as P, NP, as well as the notion of NP-completeness. Several problems in the domains of propositional logic, graphs and scheduling are studied with respect to their time complexity by proposing either polynomial-time algorithms to solve them efficiently or polynomial-time reductions to prove their hardness.

Course opened in 2018/2019

Voir la page complète

Voir la page complète

Voir la page complète

This module introduces the main concepts available in programming languages to execute a program on a machine. Moreover, it presents compilers, the programs used to transform human-readable programs into machine-readable programs.

More specifically, this module aims to provide:  

 - the formal tools allowing to describe (static and dynamic) program semantics;

 - the main algorithms and transformation steps implemented within a compiler to produce a sound and correct executable code.

Voir la page complète

This course introduces some of the main concepts of software engineering (lifecycle/development process, requirements, specification architecture, global and detailed design, test, project supervision and management).

The first part of this course focuses on the Unified Modeling Language and presents the object and class diagrams, use cases, state-transition and sequence diagrams. The second part focuses on the development phases and presents the development process, how to manage requirements, the notion of software architecture, design patterns, tests, and project management.

Voir la page complète

This class is an introduction to general operating systems concepts that every programmer and computer scientist must know.

The course presents the main roles of an operating system and the challenges associated with the design of an operating system. The main components of an operating system are studied, including: memory management, task management, management of storage devices.

For each component, we present the main design choices in existing operating systems. We study how these design choices are guided by the characteristics of the underlying hardware and how the components interact with the hardware.

Additionally, a special focus is given to concurrent programming. The challenges and pitfalls of concurrent programming are introduced. Using the POSIX thread interface, we study the main programming concepts and methodologies to write correct and efficient concurrent programs.

Organization:
The class is based on an 11-week semester, with 3 hours of lectures and 3 hours of in-class lab sessions per week.
The labs are based on the C language, the Linux operating system and the POSIX programming standard.

Remark : For the interested students wishing to study the detailed design and implementation of an operating system, an optional (1-month) programming project is available at the end of the semester in a separate class (see GBX7MO08 - Programming project/OS).

Voir la page complète

This course has for objectives to develop proficiencies in algorithms analysis, algorithm writing, and problem solving in general using algorithms.
This course uses Problem Based Learning methods for teaching, so students are expected to work in groups of 5-6 people during class sessions, and will do homework alone between sessions.
Students will solve four big problems during the semester, spanning about 4-6 sessions each. The problems will cover the following topics: advanced data structures (designing data structures to help solving a problem), greedy algorithms, dynamic programming, approximation algorithms, and more importantly the orthogonal notions of algorithm complexity and algorithm quality (in terms of solution produced).

Voir la page complète

The objective of this course is to provide the basis
This way, every student can use the adequate mathematical tools for designing well-founded reasoning and prove properties.
More precisely, the content is the following: 
Overview of proving techniques, Induction, Counting, Basics on enumeration and combinatorics
, Divisibility, Discrete structures and graphs, Probability, Modeling and classical laws, Random walks.

Voir la page complète

Visual computing is the computer science discipline that deals with images.  The ability to analyse, interpret and create images with computers is an essential part of computer science.  This is illustrated with the ever growing set of devices that can display, generate and capture images and with the associated increase of image usage in everyday life.  This course introduces  some of the basic principles and techniques in this domain that are used in most image related fields such as computer vision, computer graphics and medical imaging. 

Voir la page complète

This module about the English language includes oral and written communication tools. It teaches how to write professional documents: CV, articles, memorandum, e-mail, letter, master’s…

Moreover, it proposes a training specialised in scientific report writing using written communication techniques and tools and provides the skills to publish reviews or scientific reports (for example technicians). That course will enable people to do a work of quality that they can publish further in scientific magazines.

Voir la page complète

This project shows the internals of an operating system. We use an emulated operating system: NachOS. The aim is to put into practice the theoretical knowledge obtained during the OS course. In NachOS the students will have the opportunity to program the thread management system, the memory management system, the file system, as well as the network protocols (these represent different stages of the project). NachOS comes as a fully functioning yet very simple OS. Students need to first understand the software and then are invited to incrementally program additional OS treatments. The more time you spend on it, the more fun it is!

Voir la page complète

The aim of this project is to develop a simple compiler. That is, a translator from a source language to a target language. The source language is a typed functional language, inspired by ML (eg. OCaml), with other features such as message-passing concurrent processes. The target language is Java. The implementation language is free, but Java is encouraged as some building blocks are provided to the student (notably a parser). The project consists in a few independent steps including a parser, code analysis (typechecking), translation to a generic intermediary language, and target code generation.

Voir la page complète

This course is the internship conducted in a research lab in Grenoble area. It consists of two parts: a part-time period of 3 months with one day a week followed by a full-time period of 5 weeks. During these periods, the interns are enrolled in research activities in labs. At the end of the period, a report and oral presentation in the forms of a research paper and research talk, respectively, are exptected.

Voir la page complète

The objective is a better understanding of the research world. This course overviews the principles of academic research conducted in research lab. First, it presents Grenoble’s academic landscape and the main research institutions. Moreover, it presents the principles of academic research. Then, it presents method guidelines to a) conduct successful research, b) read and write papers, give research talks.

Voir la page complète

After presenting the major differences between a centralized system and a distributed one, this option shows students both the "user" and the "designer" side of distributed applications. Students get acquainted with existing distributed middleware and see how the latter tackle the problems of distributed system design. Are discussed the principles of distributed communication, including client/server synchronous architectures and publish/subscribe decoupled ones. The students also zoom into distributed middleware implementation and learn the basics of distributed algorithmics. Working with simple distributed topologies, they get to write simple algorithms and reason about their correctness.

Voir la page complète

This course gives an introduction to digital circuits modeling, design, and verification, and to the associated methods and tools (simulation, simulation with formal assertions, ASIC synthesis, FPGA synthesis).

Ce cours fournit une introduction à la modélisation, la conception et la vérification des circuits numériques, ainsi qu’aux méthodes et outils associés (simulation, simulation avec assertions formelles, synthèse ASIC, synthèse FPGA).

Voir la page complète

Skills

• Recognize a situation where Operations Research is relevant.
• Know the main tools of Operations Research.
• Have the methodological elements to choose the solution methods and the tools the most adapted for a given practical problem.
• Know how to manipulate the software tools to solve a discrete optimization problem.

The course covers various topics:

• Linear Programming (modelling, solving, duality)
• Mixed Integer Linear Programming (modelling techniques, solving with Branch and Bound)
• Dynamic Programming
• Bonus (riddles, elsewhere on the web, OR News)

More details : https://moodle.caseine.org/course/view.php?id=42

Voir la page complète

Databases today  are essential to every business, corporation  and  many scientific investigations. They are behind  major  popular  systems as Google  or Amazon, they  store  important data of many  kind of companies and they are  even key components in research on physics, biology, health and several other fields. Database Management Systems (DBMS)  are powerful, but complex, systems  for creating  and managing  large amounts of data efficiently  and allowing it to persist over the time. In this course, we shall learn the foundations of DBMS and  most important  aspects  to design and to use  relational databases.

Program summary :
The theoretic part covers the following topics: DBMS functionalities, overview of the most common data models, the relational approach (algebra, SQL, normalization, etc.) ,  transactional support  and database design. We study database schema design using the entity-relation model and introduce an algorithm to translate such an abstraction to a normalized relational schema.  The pragmatic part of the course is intended to familiarize students with the use of the Standard Query Language, SQL. We also introduce JDBC, the Java API to access
relational databases.

Voir la page complète

Target skills :
The goal is to present the core principles of human-centered approaches for analyzing, designing, implementing and evaluating interactive systems. At the end, students must be familiar with utility (good coverage of the needs) and usability (good quality of service), the two key properties in Human-Computer Interaction for both criticizing and developing high quality User Interfaces (UI). The principles are applied to graphical UIs, including web sites.

Students who attend this course should be able to design, implement and evaluate interactive systems following a user centered approach.

Program summary :
The course presents the key steps and models in user centered design. Then it focuses on ergonomic criteria for sustaining both the design and evaluation of user interfaces.

- Analysis: cognitive models, motivations for the system, models of the user, environment, and activity
- Design: tasks, concepts and platform models, ergonomic criteria, abstract and concrete user interfaces, specifications (User Action Notation)
- Implementation: software architecture models, tools (overview of web programming techniques)
- Evaluation: predictive and experimental, qualitative and quantitative approaches.

The course includes 18h of formal lectures and 18h of project. The project lasts during the whole semester. Students have to analyse a need, design and prototype an interactive system, and evaluate it. The theme is chosen by the students. They have to produce two documents (analysis and design), a prototype, and to test it through user experiments.

Voir la page complète

This course brings together programming techniques for recognition and symbolic reasoning. Techniques for symbolic reasoning are provided based on rule based programming and structured knowledge representations using schema. Programming of rules and schema are illustrated with exercises in the CLIPS Expert-System environment (developed by NASA).  Techniques for recognition are presented based on Bayesian pattern recognition and machine learning. Linear and quadratic discrimination functions are presented, followed by feature space reduction techniques based on the Fisher discriminant function and principal Components analysis. An introduction to learning theory is provided  using the EM algorithm to estimate Gaussian Mixture Models.

Voir la page complète

Learn basic concepts of computer networking and acquire practical notions of protocols with an emphasis on TCP/IP.

Voir la page complète

Computer Graphics covers the set of techniques enabling the synthesis of animated virtual worlds. The applications range from entertainment (special effects, 3D feature films, video games), to industrial design (modelling and visualizing prototypes) and virtual reality (flight simulator, interactive walk-trough). This course introduces the domain by presenting the bases for the creation of 3D models, their animation, and the rendering of the corresponding 3D scene. Student will be invited to practice through programming exercises in OpenGL.

Voir la page complète

The aim of this course is to give an introduction to software developments for mobile robotics applications and internet of things. The course is decidedly practical with several labs and a project on real robots. It uses "learning by doing" and "learning by project" approaches.

At first, the basic concepts of mobile robotics (sensors, actuators, perception, decision, action ...) and Internet of Things are presented and directly implemented on real robots to realize a software prototype of "follow me" by a small mobile robot.

In a second step, in a project, the basic concepts are deepened during the realization of a complete application of mobile robotics including Internet of Things, for example: a mobile robot "coffee dispenser", a robot "patroller", a robot "guide visit" ...

Knowledge of C / C ++ or python is essential.

The course outline can be found at :

http://lig-membres.imag.fr/aycard/html/Enseignement/M1/Robotics2/index.html

Course illustrations can be found at :

http://lig-membres.imag.fr/aycard/html/Projects/Robair/robair.html

Voir la page complète

To acquire the main theoretical and practical notions of modern cryptography: from notions in algorithmic complexity and information theory, to a general overview on the main algorithms and protocols in symmetric and asymmetric cryptography.

Voir la page complète

The use of multiprocessor machines has become mandatory and most applications are now running on machines with parallel processing units, from tablets to supercomputers. These applications concern both public and private scientific research, as well as industrial and commercial enterprises.

This lecture and lab work presents the parallel computing domain in different aspects: architectural, algorithmic, parallel programming languages, performance measurements, etc. Examples of parallel algorithms in different domains are also studied.

The course allows you to understand how to design and program a parallel application and run it on a multicore processor or a classical parallel cluster machine. The lab work on machines allows to implement the concepts studied during the lectures, and this with the language extensions ​​OpenMP and MPI.

----------------------

L'usage des machines multiprocesseurs est devenu incontournable et la plupart des applications s'exécutent aujourd'hui sur des machines disposant de plusieurs unités de traitement s'exécutant en parallèle, depuis les tablettes jusqu'aux supercalculateurs. Ces applications concernent à la fois la recherche scientifique (physique, chimie, biologie,...), mais également les entreprises industrielles et commerciales. Ce domaine s'appelle le calcul haute performance (High Performance Computing, HPC).

Cet enseignement d'informatique présente le domaine du HPC sous différents aspects : architecturaux, algorithmiques, langages de programmation parallèle, évaluation de performances, ... Plusieurs exemples d'algorithmes parallèles, issus de différents domaines scientifiques, sont disséqués et étudiés.

Le contenu de cet enseignement permet de comprendre comment concevoir, programmer et exécuter efficacement une application parallèle sur un large spectre de plates-formes, allant d'un simple processeur multicore en passant par une machine multiprocesseurs à 200 coeurs et jusqu'à une grappe (cluster) de serveurs multiprocesseurs. Les travaux pratiques sur machines parallèles représentent une partie importante de cet enseignement et vont mettre en oeuvre les concepts étudiés en cours, en particulier en utilisant les extensions de langages OpenMP et MPI.

Voir la page complète

This module introduces the fundamental aspects of computer science and particularly focuses on the notions of computability and complexity. Regarding computability theory, it presents the basic formal model to reason on the notion of computation, i.e., the Turing machine and its variants. Based on this computational model, the notions of decidable and semi-decidable languages will be defined, while the existence of languages which are undecidable will be shown. Regarding complexity theory, it presents the main classes of time complexity such as P, NP, as well as the notion of NP-completeness. Several problems in the domains of propositional logic, graphs and scheduling are studied with respect to their time complexity by proposing either polynomial-time algorithms to solve them efficiently or polynomial-time reductions to prove their hardness.

Course opened in 2018/2019

Voir la page complète

Voir la page complète

Voir la page complète

This module introduces the main concepts available in programming languages to execute a program on a machine. Moreover, it presents compilers, the programs used to transform human-readable programs into machine-readable programs.

More specifically, this module aims to provide:  

 - the formal tools allowing to describe (static and dynamic) program semantics;

 - the main algorithms and transformation steps implemented within a compiler to produce a sound and correct executable code.

Voir la page complète

This course introduces some of the main concepts of software engineering (lifecycle/development process, requirements, specification architecture, global and detailed design, test, project supervision and management).

The first part of this course focuses on the Unified Modeling Language and presents the object and class diagrams, use cases, state-transition and sequence diagrams. The second part focuses on the development phases and presents the development process, how to manage requirements, the notion of software architecture, design patterns, tests, and project management.

Voir la page complète

This class is an introduction to general operating systems concepts that every programmer and computer scientist must know.

The course presents the main roles of an operating system and the challenges associated with the design of an operating system. The main components of an operating system are studied, including: memory management, task management, management of storage devices.

For each component, we present the main design choices in existing operating systems. We study how these design choices are guided by the characteristics of the underlying hardware and how the components interact with the hardware.

Additionally, a special focus is given to concurrent programming. The challenges and pitfalls of concurrent programming are introduced. Using the POSIX thread interface, we study the main programming concepts and methodologies to write correct and efficient concurrent programs.

Organization:
The class is based on an 11-week semester, with 3 hours of lectures and 3 hours of in-class lab sessions per week.
The labs are based on the C language, the Linux operating system and the POSIX programming standard.

Remark : For the interested students wishing to study the detailed design and implementation of an operating system, an optional (1-month) programming project is available at the end of the semester in a separate class (see GBX7MO08 - Programming project/OS).

Voir la page complète

This course has for objectives to develop proficiencies in algorithms analysis, algorithm writing, and problem solving in general using algorithms.
This course uses Problem Based Learning methods for teaching, so students are expected to work in groups of 5-6 people during class sessions, and will do homework alone between sessions.
Students will solve four big problems during the semester, spanning about 4-6 sessions each. The problems will cover the following topics: advanced data structures (designing data structures to help solving a problem), greedy algorithms, dynamic programming, approximation algorithms, and more importantly the orthogonal notions of algorithm complexity and algorithm quality (in terms of solution produced).

Voir la page complète

The objective of this course is to provide the basis
This way, every student can use the adequate mathematical tools for designing well-founded reasoning and prove properties.
More precisely, the content is the following: 
Overview of proving techniques, Induction, Counting, Basics on enumeration and combinatorics
, Divisibility, Discrete structures and graphs, Probability, Modeling and classical laws, Random walks.

Voir la page complète

Visual computing is the computer science discipline that deals with images.  The ability to analyse, interpret and create images with computers is an essential part of computer science.  This is illustrated with the ever growing set of devices that can display, generate and capture images and with the associated increase of image usage in everyday life.  This course introduces  some of the basic principles and techniques in this domain that are used in most image related fields such as computer vision, computer graphics and medical imaging. 

Voir la page complète

This course aims to introduce to students the basics of and a large overview on Artifical Intelligence, including Machine Learning, Deep Learning and Symbolic AI. 

Voir la page complète

This project shows the internals of an operating system. We use an emulated operating system: NachOS. The aim is to put into practice the theoretical knowledge obtained during the OS course. In NachOS the students will have the opportunity to program the thread management system, the memory management system, the file system, as well as the network protocols (these represent different stages of the project). NachOS comes as a fully functioning yet very simple OS. Students need to first understand the software and then are invited to incrementally program additional OS treatments. The more time you spend on it, the more fun it is!

Voir la page complète

The aim of this project is to develop a simple compiler. That is, a translator from a source language to a target language. The source language is a typed functional language, inspired by ML (eg. OCaml), with other features such as message-passing concurrent processes. The target language is Java. The implementation language is free, but Java is encouraged as some building blocks are provided to the student (notably a parser). The project consists in a few independent steps including a parser, code analysis (typechecking), translation to a generic intermediary language, and target code generation.

Voir la page complète

Voir la page complète

This module about the English language includes oral and written communication tools. It teaches how to write professional documents: CV, articles, memorandum, e-mail, letter, master’s…

Moreover, it proposes a training specialised in scientific report writing using written communication techniques and tools and provides the skills to publish reviews or scientific reports (for example technicians). That course will enable people to do a work of quality that they can publish further in scientific magazines.

Voir la page complète

This course gives an introduction to digital circuits modeling, design, and verification, and to the associated methods and tools (simulation, simulation with formal assertions, ASIC synthesis, FPGA synthesis).

Ce cours fournit une introduction à la modélisation, la conception et la vérification des circuits numériques, ainsi qu’aux méthodes et outils associés (simulation, simulation avec assertions formelles, synthèse ASIC, synthèse FPGA).

Voir la page complète

Skills

• Recognize a situation where Operations Research is relevant.
• Know the main tools of Operations Research.
• Have the methodological elements to choose the solution methods and the tools the most adapted for a given practical problem.
• Know how to manipulate the software tools to solve a discrete optimization problem.

The course covers various topics:

• Linear Programming (modelling, solving, duality)
• Mixed Integer Linear Programming (modelling techniques, solving with Branch and Bound)
• Dynamic Programming
• Bonus (riddles, elsewhere on the web, OR News)

More details : https://moodle.caseine.org/course/view.php?id=42

Voir la page complète

Databases today  are essential to every business, corporation  and  many scientific investigations. They are behind  major  popular  systems as Google  or Amazon, they  store  important data of many  kind of companies and they are  even key components in research on physics, biology, health and several other fields. Database Management Systems (DBMS)  are powerful, but complex, systems  for creating  and managing  large amounts of data efficiently  and allowing it to persist over the time. In this course, we shall learn the foundations of DBMS and  most important  aspects  to design and to use  relational databases.

Program summary :
The theoretic part covers the following topics: DBMS functionalities, overview of the most common data models, the relational approach (algebra, SQL, normalization, etc.) ,  transactional support  and database design. We study database schema design using the entity-relation model and introduce an algorithm to translate such an abstraction to a normalized relational schema.  The pragmatic part of the course is intended to familiarize students with the use of the Standard Query Language, SQL. We also introduce JDBC, the Java API to access
relational databases.

Voir la page complète

After presenting the major differences between a centralized system and a distributed one, this option shows students both the "user" and the "designer" side of distributed applications. Students get acquainted with existing distributed middleware and see how the latter tackle the problems of distributed system design. Are discussed the principles of distributed communication, including client/server synchronous architectures and publish/subscribe decoupled ones. The students also zoom into distributed middleware implementation and learn the basics of distributed algorithmics. Working with simple distributed topologies, they get to write simple algorithms and reason about their correctness.

Voir la page complète

Target skills :
The goal is to present the core principles of human-centered approaches for analyzing, designing, implementing and evaluating interactive systems. At the end, students must be familiar with utility (good coverage of the needs) and usability (good quality of service), the two key properties in Human-Computer Interaction for both criticizing and developing high quality User Interfaces (UI). The principles are applied to graphical UIs, including web sites.

Students who attend this course should be able to design, implement and evaluate interactive systems following a user centered approach.

Program summary :
The course presents the key steps and models in user centered design. Then it focuses on ergonomic criteria for sustaining both the design and evaluation of user interfaces.

- Analysis: cognitive models, motivations for the system, models of the user, environment, and activity
- Design: tasks, concepts and platform models, ergonomic criteria, abstract and concrete user interfaces, specifications (User Action Notation)
- Implementation: software architecture models, tools (overview of web programming techniques)
- Evaluation: predictive and experimental, qualitative and quantitative approaches.

The course includes 18h of formal lectures and 18h of project. The project lasts during the whole semester. Students have to analyse a need, design and prototype an interactive system, and evaluate it. The theme is chosen by the students. They have to produce two documents (analysis and design), a prototype, and to test it through user experiments.

Voir la page complète