Projects & internships
LAMP offers to I&C students a selection of topics for their semester or master projects. A list of all currently available topics is available.
We provide a non-exhaustive list of publications (reports, etc.) written during past semester and master projects and internships.
Courses
Advanced Compiler Construction
The student will learn about techniques used to implement high level languages, and compilation techniques used to obtain high performance on modern computer architectures. He will also get the opportunity to study one of these tech niques in depth and gain experience with implementation issues through a project in the context of an actual compiler.
This is an optional Spring semester course for SIN and SSC master students.
Foundations of Software
The study of type systems and of programming languages, from a type-theoric perspective, has important applications in software engineering, language design, high-performance compilers and security. In this course, the student will learn the basic principles of type systems as they appear in modern programming languages. The acquired knowledge will be sufficient to design small type systems, but it will also sharpen the student's awareness of typeful programming as such. The latter is an indispensable task when programming in strongly typed languages.
This is an optional Autumn semester course for SIN and SSC master students (four credits).
Advanced topics in programming
This course introduces students to advanced programming techniques found in modern languages, such as Scala. Student will understand the principles and applications of declaratative programming and the fundamental models of program execution. The will understand and apply fundamental methods of program composition as well as of meta-programming through the construction of interpreters.
This is an optional Autumn semester course for SIN and SSC master students (four credits).
Previous courses
Since 1999, the LAMP actively participates to teaching I&C students. An archive of all documents and websites of these previous courses is available.