Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > IM Hyeonseung
Présentation
M. IM Hyeonseung

ATTENTION : ce membre a quitté le laboratoire le 30/04/2014
 
Post-doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 70/PCRI-S

Page personnelle : http://toccata.lri.fr/~im
Courrier électronique : Hyeonseung.Im@lri.fr

Activités de recherche
   - Langages et systèmes centrés données
   - Compilation et optimisation des programmes

Publications










Participations à des contrats
   - Typex