|
Kamel Adi |
Langages et sémantiques formelles, sécurité informatique, commerce électronique, génie logiciel, spécifications algébriques, réécriture et surréduction, théorie des catégories. |
|
|
Mohand S. Allili |
Vision par ordinateur, reconnaissance de formes, infographie, traitement numérique d'images et de vidéos. |
|
|
Nadia Baaziz |
Traitement numérique d'images et vidéo, approches par ondelettes, par contourlettes, codage et compression, standards JPEG, MPEG, bases de données d'images, extraction de primitives pour l'indexation, sécurité des données multimédias par watermarking. |
|
|
Ilham Benyahia |
Gestion des informations, architecture des logiciels, systèmes temps réel, algorithmes génétiques, gestion de réseaux de télécommunication, programmation génétique, cadres réutilisables. |
|
|
Wojtek J. Bock |
Senseurs en fibres optiques, métrologie et calibration de paramètres non-électriques, optoélectronique. |
|
|
Mohamed Bouguessa |
Extraction des connaissances à partir des bases de données multidimensionnelles à forte volumétrie, extraction des connaissances pour le Web intelligence, analyse des réseaux sociaux, forage de flux de données (data stream mining), apprentissage automatique et recherche d'information. |
|
|
Jurek Czyzowicz |
Informatique théorique, algorithmique, géométrie algorithmique, planification de trajectoires, systèmes d'informations géographiques, programmation, structures de données. |
|
|
Karim El Guemhioui |
Ingénierie logicielle. Orienté-objet. Systèmes distribués. Ingénierie dirigée par les modèles. Middleware. |
|
|
Michal Iglewski |
Génie
logiciel, méthodes formelles, tests, internet. |
|
|
Michael Korwin-Pawlowski |
Photonique: capteurs en fibres optiques, détection des matériaux explosifs par méthodes photoniques.
Microélectronique: technologies VLSI sous-nanométriques, couches diélectriques ultraminces.
Science de matériaux: technologies de couches minces pour capteurs en fibres optiques.
Science, technologies et société: effets économiques et sociaux des nouvelles technologies.
|
|
|
Ahmed Lakhssassi |
Microélectronique, VLSI, aspects thermiques, contraintes et distorsions dans les dispositifs de microélectronique. |
|
|
Luigi Logrippo |
Méthodes formelles avec application à la conception de logiciels dans les domaines suivants : protocoles de communication; sécurité et contrôle d'accès; fonctionnalités avancées dans Voix sur IP, interaction de fonctionnalités; commerce électronique; systèmes normatifs, leur analyse logique. |
|
|
Rokia Missaoui |
Bases de données avancées, performances, bases de données d'images, analyse formelle de concepts et treillis de Galois, prospection de données («Data Mining»). |
|
|
Andrzej Pelc |
Calcul réparti, construction et analyse d'algorithmes, traitement d'informations erronées, algorithmes de communication dans les réseaux, diagnostic des systèmes multiprocesseurs. |
|
|
Larbi Talbi |
Communications sans-fil, électronique générale, techniques de mesures radiométriques, technologie micro-onde et UHF, télécommunications. |
|
|
Marek Zaremba |
Réseaux neuronaux, systèmes adaptatifs, graphisme par ordinateur, automatique systèmes en temps réel, traitement réparti. |
