Sylvain Lippi Maître de conférences à l'Université de Nice Sophia Antipolis Polytech Sophia, dpt SI 930 route des Colles BP 145 06903 Sophia Antipolis Cedex tél. +33 (0) 4 92 96 51 86

Recherche au laboratoire I3S

• Publications

Enseignements passés (depuis 2005) à Polytech Sophia

• Internet et réseaux, SI4 (TD)
• Bases de données, harmonisation SI4 (TD)
• Projet de programmation Java, SI3 (TD)
• Conception objets et Design Patterns, SI4 (TD)
• Architecture des Ordinateurs, SI3 (cours et TD)
• Programmation en C, SI3 (TD)
• Initiation à Coq, SI5 (cours et TD)
• Langage C++, SI4 (cours et TD)
• Programmation Shell, Cip2 (TD)
• Outils pour le Génie Logiciel, SI3 (TD)
• Langage C et programmation UNIX, SI3 (TD)
• Outils pour le Génie Logiciel, SI3 (TD)
• Projet de programmation en C, SI3 (un émulateur assembleur PROCSI)
• Responsable des Projets de fin d'étude, SI5 et Master Informatique

Enseignements actuels (2011-2012) à Polytech Sophia

• Programmation en Python, Cip1 (TD)
• Architecture des Ordinateurs, SI3 (cours et TD)
• Projet Continu de programmation en C, SI3
• Langage C++, SI4 (TD)
• Preuves de programmes, SI4 (cours et TD)