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 35 87 14 (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 MOSTRARE, équipe commune LIFL et
INRIA Lille-Nord Europe.
Je participe aux projets ANR Enumeration et
CODEX.
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: TTATT 2012 ,
PODS 2012, LATA2012, SOFSEM 2012, STACS'11, RTA'10, RTA'09, CAI'09, ...
6th International School on Rewriting
RDP 2013, Eindhoven: RTA + TLCA