|
Le développement des logiciels et leur utilisation massive
par les entreprises et les particuliers posent la question de
leur évaluation. L'objectif est de mesurer leur efficacité,
en fonction de deux paramètres (temps de calcul nécessaire,
place-mémoire utilisée) et leur pertinence par
rapport au but proposé. L'équipe Algorithmique
du GREYC travaille plus particulièrement dans les domaines
suivants :
|
 |
La sécurité informatique sous trois
aspects : le cryptage, la correction d'erreurs et la compression
de documents (en vue de leur transmission) |
 |
La bio-informatique (traitement du génome
humain) |
 |
La satisfaction de contraintes dans l'aide à
la décision |
 |
La vérification de la conformité des
logiciels à leurs spécifications |
| |
|
| Equipe
particulière |
|
Equipe Algorithmique
du GREYC-Groupe de Recherche en Informatique, Image et Instrumentation
(10 permanents, 10 doctorants), en collaboration avec certains
mathématiciens du Laboratoire Nicolas Oresme.
|
| |
|
| Equipements |
 |
Atelier logiciel |
 |
Réseau à haut débit (VIKMAN
relié au réseau RENATER) |
| |
|
| Méthodes |
| Fondées sur la collaboration
entre des mathématiciens et des informaticiens, elles relèvent
des deux disciplines. |
| |
|
| Exemples de réalisations |
 |
Recherche de schémas de cryptologie réputés
sûrs. |
 |
Développement de l'interaction entre codage
et cryptographie. |
 |
Analyse fine de structures de données utilisées
en bio-informatique et en compression. |
| |
|
| Entreprises impliquées
|
 |
France Télécom R&D [cryptologie,
cartes à puces] - http://www.rd.francetelecom.fr
|
 |
CEV [développement de logiciels de
cartes à puces] - http://www.cev-sa.com |
 |
DPCI [achivage électronique, transmission
de données] - http://www.dpci.fr |
 |
STEPMIND [circuits intégrés
radio] - http://www.stepmind.com |
 |
TNI-VALIOSYS [logiciels de validation de
programmes informatiques] - http://www.valiosys.com |
 |
FIME [test lecteurs cartes paiement] - http://www.fime.com |
 |
NETCENTREX [transmission de voix par internet]
- http://www.netcentrex.net |
 |
HIGHDEAL [logiciel de gestion d'offres commerciales
sur internet] - http://www.highdeal.net |
 |
AXALTO [fabrication de cartes à puces]
- http://www.axalto.com/France |
 |
ALIOS [fabrication de cartes à puces
en petits volumes] |
 |
CONSTRUCTIVECARD-TECHNOLOGIES [conception
de cartes à puces et à pistes magnétiques
multifonctions] - http://www.constructivecard-technologies.com |
 |
EDSI [logiciels sécurisés pour
carte à puce] - http://www.edsi-smartcards.com.fr/index_fr.html |
 |
SEROPA TECHNOLOGY [fabrication de cartes
à puces] - http://www.mikron-assembly.com/divisions/div-further-activities-caen.htm |
 |
OBERTHUR CARD SYSTEMS [fabrication de cartes
à puces] - http://www.oberthurcs.com |
 |
SMARTQUANTUM [sécurisation des informations
circulant sur des supports optiques] - http://www.smartquantum.com |
 |
AXIANS [sécurité des réseaux]
- http://www.axians.com |
 |
PHILIPS [électronique] - http://www.philips.fr |
 |
SILICON LABORATORIES |
 |
ACOME [fibres optiques] - http://www.acome.fr |
 |
IN SNEC [télémesure, les télécommunications
et les transmissions de données à haut débit] - http://www.in-snec.fr
|
 |
KOCHKA TECHNOLOGIES [équipement innovant
pour la fabrication des CD et DVD] - http://www.normandie-incubation.com/projets/kochka.htm |
 |
NOMOTECH [réseaux Internet haut débit
sans fil] - http://www.nomotech.com |
 |
ODIXION [stockage de données sur support
optique enregistrable] - http://www.odixion.com |
 |
PLASMON OMS [conception et la fabrication
de solutions de stockage amovible] - http://www.plasmon.com |
 |
GAGE INTERACTIVE [édition de logiciel en
mode ASP (Application Service Provider)] - http://www.activprint.com
|
 |
INGELIS [solutions réseaux Internet
et Télécoms] - http://www.ingelis.com |
 |
PROXYCONCEPT [analyse de flux Web et de contenus
de messagerie électronique] - http://www.proxyconcept.com/ |
 |
MANGROVE SYSTEMS -
http://www.mangrove-systems.com |
 |
etc... |
| |
|
| Correspondants |
| Pour toute information
générale technique ou scientifique |
 |
Mme Brigitte VALLEE
Université de Caen - Esplanade de la Paix
14032 CAEN CEDEX FRANCE
Tél : 33 (0)2 31 56 73 30 - Fax : 33 (0)2 31 56 73 80
Brigitte.Vallee@info.unicaen.fr
|
 |
Pr. Alain BRETTO
Directeur du Département informatique
Université de Caen
14032 CAEN CEDEX FRANCE
Tél : 33 (0)2 31 56 74 86 - Fax : 33 (0)2 31 46 73 30
alain.bretto@info.unicaen.fr |
 |
M. Régis CARIN
Directeur du GREYC
Campus Côte de Nacre, Boulevard du Maréchal Juin
BP 5186 - 14032 Caen Cedex
Tél : 33 (0)2 31 45 26 97 - Fax : 33 (0)2 31 45 26 98
rcarin@greyc.ensicaen.fr
|
 |
M. Jérôme LAUDOUAR
Directeur du LATEMS (Laboratoire de Transactions Electroniques,
de Monétique et de Sécurité)
Tél : +33 (0)2 31 53 81 07 - Fax : +33 (0)2 31 53 81 10
jerome.laudouar@francetelecom.com
|
| |
|
| Pour toute information
à caractère économique ou industriel |
 |
Normandie Développement
57 avenue de Bretagne - BP 1083
76173 Rouen Cedex 1 - France
Tel : 33 (0)2 35 03 06 04 - Fax : 33 (0)2 35 03 07 86
ndrouen@normandydev.com |