Show Menu
Hide Menu
LIP6 اسـتـقـبال
كلـمـة المـديـر
Scientific Influence
الهيكل التنظيمي
تـنـظـيم مـخـبر
LIP6
رئاسـة
أقـسام إدارية
IT Service
المـجـلس العـلمـي
مجـلس المـخبر
مجلس
Scientific Mediation
Teaching
الموقع
بـحــث
Axes & Teams
إصدارات
Projects
ERC Projects
European Projects
France 2030
ANR Projects
تـقـرير نشـاط
تقييم
Our skills
Work with us
Software
بـراءات اخـتراع
شركة شبانية
أعـمال
الدلـيـل
نـدوات
🔒
📫
عربى
🇫🇷
🇬🇧
عربى
-
Computer Science Laboratory
Sorbonne Universté
Centre National de la Recherche Scientifique
أعـمال
أعـمال (LIP6)
Gestionnaire administratif et financier F/H (réf. 22821-1)
Lecturer - Intelligence Artificielle appliquée à la santé
أستـاذ
Modélisation et vérification de systèmes logiciels fiables, conception et utilisation des architectures multi-cœurs homogènes ou hétérogènes (27e section)
أسـتاذ مـحاضر
Algorithmes numériques ou exacts pour le calcul scientifique (27e section)
Architectures embarquées intelligentes (sections 27/63)
IA, Décision, Interaction Humain-IA (27e section)
Sécurité et fiabilité des algorithmes, des logiciels et des protocoles de communication (27e section)
أطروحة
Automatic Extraction of TTP from a Program's Binary Code
متدرب
Anomaly Detection in Link Streams
Chaîne open-source pour la vérification de programmes C
Meta-Features For Data Streams