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.
Recherche
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
- Rabea Ameur-Boulifa, Maître de Conférences
- Sophie Coudert, Maître de Conférences
- Renaud Pacalet, Directeur d’études
- Tullio Tanzi, Professeur
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
Dernières actualités du LTCI
Ma thèse en 180 secondes IP Paris : le lauréat
— 15/03/2024Elie Kadoche, doctorant à IP Paris/laboratoire LTCI de Télécom Paris œuvrant pour l'optimisation des parcs éoliens, a remporté le 13 [...][Ideas] L’IA appliquée à l’imagerie médicale : l'enjeu des données
Enseignants-chercheurs, Modélisation — 14/03/2024Elsa Angelini et Pietro Gori : quels enjeux pour accéder à la data et comment rendre [...]Cybersécurité : les enjeux et les outils
Mastères spécialisés, Confiance numérique — 13/03/2024Inscrivez-vous à notre webinaire dédié, vendredi 29 mars 2024.[Ideas] Communs numériques et logiciels libres
Enseignants-chercheurs — 07/03/2024Stefano Zacchiroli : Pourquoi les logiciels libres sont un patrimoine essentiel pour l’humanité.[Ideas] Algorithmes et maîtrise de l'impact carbone
Enseignants-chercheurs — 29/02/2024Leonardo Linguaglossa : Plongée au cœur de la consommation énergétique des algorithmes.[Ideas] Le bilan carbone des chercheurs en informatique
Enseignants-chercheurs — 26/02/2024Antoine Amarilli : L'évaluation des chercheurs remise en cause par la crise climatique ?[Ideas] Où en est l’évaluation de la recherche ?
Enseignants-chercheurs — 22/02/2024Frédéric Grillot : Est-elle trop individualisée et tournée vers des indicateurs de performance ?Un biocluster pour l’innovation contre le cancer (I'm Tech)
Enseignants-chercheurs — 17/02/2024Elsa Angelini, spécialisée dans le domaine de l’imagerie biomédicale et l’apprentissage automatique, est [...]6G : faut-il s’en inquiéter ? (AOC)
Enseignants-chercheurs, Très grands réseaux et systèmes — 15/02/2024Marceau Coupechoux : On peut s’interroger sur la nécessité de la 6G à venir au moment où [...][Ideas] La nouvelle frontière de l’informatique quantique
Enseignants-chercheurs, Très grands réseaux et systèmes — 13/02/2024Romain Alléaume : le passage à l’échelle rend possibles les applications [...]
Prochains événements de LabSoc
- Pas d’évènements prévus actuellement.No events currently scheduled.