Sophie Tison
Professeur
Bâtiment M3 -- Cité Scientifique
Université des Sciences et Technologies de
Lille
59655 Villeneuve d'Ascq CEDEX
FRANCE
Phone: (33 | 0)3 28 77 85 42
(M3) --(33 | 0)3 59 57 78 53 (Haute-Borne)
Fax: (33 |0)3 28 77 85 37
mon mel est mon prenom "." mon nom -at-
lifl.fr
Un court CV
Mots-clefs: Automates, Réécriture, Contraintes, Logique,
XML, Requêtes, Contrôle d'accès.
Spécialiste des automates d'arbres et de leurs applications par
exemple comme outils de décision en réécriture ou en résolution de
contraintes, plus récemment pour l'extraction d'information dans les
documents semi-structurés.
Membre de l'équipe MOSTRARE du LIFL et de la
jeune équipe Inria
LINKS hébergée au LIFL.
Publications sous Hal.
J'enseigne dans le cadre du FIL
qui regroupe les formations en Informatique de l'UFR d'IEEA.
Je suis actuellement responsable du cours
Algorithmique
Avancée et Complexité du Master (M1) d'informatique.
J'interviens ou suis intervenue récemment par exemple en
Algorithmique (L2), en Initiation à la programmation fonctionnelle
(L1), en Conception de Logiciels et Programmation Objet (L3),
en Fouille de Données
et en Apprentissage en Master (M1) d'Informatique et sur mes
thématiques de recherche en Master (M2).
Je suis directrice du LIFL depuis
janvier 2008.
Je suis membre élue du Comité National de la Recherche Scientifique
(CoNRS), section 06 (2012-...).
Je préside le Conseil Scientifique et Technologique du Pôle de
Compétitivité des Industries du Commerce, PICOM.
Je fus membre élue du Conseil Scientifique de l'Université de Lille
1 de 2006 à 2010 sur la liste
DPE .
Je suis membre du comité de rédaction de la revue RAIRO,
membre du comité de pilotage des conférences RTA et STACS .
Comités de Programme récents: Highlights of Logic, Games
and Automata 2013, TTATT 2012 ,
PODS 2012, LATA 2012, SOFSEM 2012, STACS'11,
RTA'10, RTA'09, CAI'09, ...
6th International
School on Rewriting