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
L'IA n'est pas encore... intelligente (Les Échos)
Data science & IA, Enseignants-chercheurs — 28/05/2023Jean-Louis Dessalles : La capacité à s'étonner est une différence fondamentale entre l'humain et [...]
Vers la fin des réseaux 2G et 3G (France Inter)
Économie numérique, Enseignants-chercheurs, Très grands réseaux et systèmes — 11/05/2023Avec notamment Marceau Coupechoux, professeur d'Informatique à l’école [...]
La lettre du LTCI
Doctorat, Enseignants-chercheurs — 26/04/2023Résultats des élections au conseil, nouvelles dispositions sur le doctorat, création de l'équipe Quriosity, nouvelle interface HAL.
IA : les machines s’emballent? (France Culture)
Data science & IA, Enseignants-chercheurs — 03/04/2023Chloé Clavel est l’invitée des Matins de France Culture aux côtés de Gilles Babinet, alors que des [...]
ChatGPT : Les révolutions scientifiques derrière l’IA générative (Science & Vie)
Data science & IA, Enseignants-chercheurs — 20/03/2023Chloé Clavel : Les Transformers ont permis aux modèles de langue [...]
QSNP : pour la transmission quantique ultra-sécurisée
Confiance numérique — 16/03/2023Le projet Quantum Secure Networks Partnership, auquel participe IP Paris, notamment Télécom Paris, vise à mettre au [...]
Peut-on attribuer des droits d’auteur à une IA ?
Data science & IA, Enseignants-chercheurs — 09/02/2023Stéphane Lathuilière : Les avancées méthodologiques, la maturité du matériel et les grandes bases [...]
5G : « Les citoyens doivent se réapproprier la technologie »
Économie numérique, Enseignants-chercheurs, Très grands réseaux et systèmes — 22/01/2023Gouffre énergétique, études discutables… Marceau Coupechoux [...]ChatGPT : les nouveaux enjeux de l’IA
Data science & IA, Enseignants-chercheurs — 20/01/2023Chloé Clavel : ChatGPT repose tout d'abord sur une énorme quantité de données recueillies par des humains.
La lettre du LTCI
— 19/01/2023Élections. Nouveaux arrivants. Google Award Inclusion. Meilleur poster. Ma thèse en 3 min. Smart Gardens. Micro-architecture. IA. ChatGPT. NoRDF. C3S. Agenda du LTCI.
Prochains événements de LabSoc
- Pas d’évènements prévus actuellement.No events currently scheduled.