Notre activité de recherche porte sur les systèmes intégrés et embarqués, leur conception, modélisation, vérification et aussi leur sécurité. Nous concevons également des processeurs de traitement du signal numérique pour la radio dite logicielle, ainsi que les environnements associés de conception logicielle. Le groupe est hébergé par EURECOM à Sophia-Antipolis depuis 2003.
L’équipe s’intéresse particulièrement aux sujets de recherche suivants :
- Nouvelles méthodes, techniques, langages et outils pour les systèmes intégrés et embarqués complexes. Abstraction, méthodes formelles, simulation ultra-rapide, génération de code à partir de modèles abstraits.
- Sécurité matérielle, systèmes sur puce paranoïaques avec confiance nulle dans leur environnement matériel et logiciel. Confidentialité et integrité des communications et du stockage externe.
- Processeurs de traitement du signal numérique pour la radio dite logicielle. Compromis entre flexibilité et efficacité énergétique. Environnements associés de conception logicielle, modélisation abstraite des formes d’onde et des architectures matérielles, génération automatique du logiciel de contrôle.
Membres de l’équipe
- Ludovic Apvrille, Professeur, Responsable de l’équipe
- Renaud Pacalet, Directeur d’études
- Tullio Tanzi, Professeur
- Rabea Ameur-Boulifa, Maître de Conférences
- Sophie Coudert, Maître de Conférences
Mots-clés
Exploration d’architecture
Vérification formelle
Ingénierie des modèles
Sécurité des circuits électronique
Architecture logicielle / matérielle pour les applications de traitement du signal
Les publications de l’équipe
Interrogation du serveur HAL en cours...Waiting for HAL server...
Dernières actualités du LTCI
IA : quelle place dans l’entreprise ?
Mastères spécialisés, Data science & IA, Économie numérique, Enseignants-chercheurs — 16/01/20L’Intelligence artificielle occupe déjà une place importante dans les [...]
L’autoformation en data science par les Mooc
Mastères spécialisés, Data science & IA, Enseignants-chercheurs — 09/01/20C’est une excellente façon de situer son niveau de connaissances. Stephan Clémençon, responsable du MS Big Data, explique que [...]
Informatique quantique : il est encore temps de devenir un leader mondial
Enseignants-chercheurs, Innovation, Très grands réseaux et systèmes — 09/01/20«Nous ne sommes qu'aux premiers 5 km d'un marathon et d'une [...]
Florence d'Alché-Buc : l'IA en génomique, des apports prometteurs ?
Data science & IA, Enseignants-chercheurs — 16/12/19La génomique pourrait révolutionner de nombreux secteurs, notamment la santé publique [...]
Le danger des biais algorithmiques
Data science & IA, Enseignants-chercheurs — 12/12/19Le rapport «Algorithmes : biais, discriminations et équité» réalisé par des chercheurs de Télécom Paris et de [...]
Rémi Sharrock : chercheur, professeur, «startuppeur»
Enseignants-chercheurs, Innovation — 03/12/19À tout juste 36 ans, l’enseignant-chercheur à Télécom Paris vient de remporter un prestigieux prix pour [...]
NeurIPS 2019 : importante participation de Télécom Paris
Data science & IA, Enseignants-chercheurs — 02/12/19La conférence Neural Information Processing Systems est le plus grand rendez-vous international [...]
Nos enseignants-chercheurs en vue à l’Instant SATT Paris-Saclay
Enseignants-chercheurs, Innovation — 27/11/19Cloud optimisé, serious game pour l'emploi, environnement sonore augmenté : les projets présentés par le pôle Propriété Intellectuelle et Valorisation à [...]Les premiers pas d'un Internet quantique
Doctorat, Ingénieur·e·s, Enseignants-chercheurs — 25/11/19Télécom Paris a son propre cursus depuis quatre ans. « Une thèse dans le domaine est même un vrai plus [...]
C Programming with Linux : Prix edX pour Télécom Paris/IMT et Dartmouth
Innovation — 21/11/19Porté par Rémi Sharrock, Maître de conférences à Télécom Paris et Petra Bonfert-Taylor, Professeure à [...]