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
Interrogation du serveur HAL en cours...Waiting for HAL server...
Dernières actualités du LTCI
La menace cyber, nouveau casse-tête de l’automobile (La Tribune)
Confiance numérique, Enseignants-chercheurs — 17/12/2024Pascal Urien : « transformer une voiture en machine à tuer » préoccupe depuis [...]
La lettre Ideas : Hydrogène naturel, Optique libre, IA frugale, Impact des réseaux
— 04/12/2024Le potentiel de l’hydrogène naturel révélé par l’IA. Les réseaux : quel impact environnemental ?
[Ideas] Comment rendre l'IA frugale ?
Data science & IA, Enseignants-chercheurs — 27/11/2024Florence d'Alché-Buc : Pourquoi cette notion a-t-elle émergé? Comment élaguer les modèles d’IA?
[Ideas] Expériences en transmission optique libre et cryptage chaotique
Doctorat, Confiance numérique, Enseignants-chercheurs — 24/11/2024Frédéric Grillot & Sara Zaminga présentent deux expériences montrant [...]
Ghaya Rekaya lauréate d'une bourse Women TechEU !
Enseignants-chercheurs, Start-up — 21/11/2024Cette reconnaissance prestigieuse souligne son engagement pour un écosystème plus diversifié et inclusif.
Dîner Prestige 2024 : IA, aide à la décision, quantique, théorie de l'information
Enseignants-chercheurs — 14/11/2024Le 07/11, 30 donatrices et donateurs ont participé au 9e dîner prestige de Télécom [...]
[Ideas] IA : bâtir une éthique de transparence et de confiance
Confiance numérique, Data science & IA, Enseignants-chercheurs — 08/11/2024Mélanie Gornet : quelle approche européenne de régulation de l'IA ? [...]
La lettre Ideas : Bioinformatique, Expliquer et sécuriser l'IA
— 08/10/2024Et aussi : Innovation et responsabilité écologique peuvent-elles converger ?[Ideas] Explicabilité et confiance en l’IA ?
Confiance numérique, Data science & IA, Enseignants-chercheurs — 02/10/2024Florence d'Alché-Buc : Ces questions se posent avec acuité depuis l'arrivée des IA [...]
Quèsaco les réseaux de neurones ? (IMTech)
Data science & IA, Enseignants-chercheurs — 30/09/2024Stéphan Clémençon : ce sont des modèles d’IA conçus par apprentissage automatique qui permettent à [...]
Prochains événements de LabSoc
- Pas d’évènements prévus actuellement.No events currently scheduled.
