Sophie Tison                    English

Professeur                                                                                            

Bâtiment M3 -- Cité Scientifique 

    Université Lille~1 

    59655 Villeneuve d'Ascq CEDEX 

    FRANCE 

    Phone: (33 | 0)3 28 77 85 42 (M3) --(33 | 0)3 59 35 87 14 (Inria/Haute-Borne) 

    Fax: (33 |0)3 28 77 85 37

    mon mel est mon prenom "." mon nom -at-  univ-lille1.fr 

Un court CV 



Recherche


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.

Je me suis intéressée plus récemment à l'extraction d'information dans les bases de données et documents semi-structurés. 

Membre de l'équipe LINKS (CRIStAL / Inria ).

Publications sous Hal. 



Enseignement


J'enseigne dans le cadre du FIL qui regroupe les formations en Informatique de l'UFR d'IEEA.

Je suis actuellement responsable du cours Algorithmes et Complexité du Master (M1) d'informatique. 

J'interviens ou suis intervenue récemment par exemple en Algorithmique et Recherche Opérationnelle (L3) et  en  Fouille de Données  en Master (M1) d'Informatique.



La collectivité


Je suis membre élue du Comité National de la Recherche Scientifique (CoNRS), section 06 (2012-...). 

Je suis membre élue du Conseil d'Administration de l'Université de Lille 1 sur la liste DPE . 

J'ai dirigé le  LIFL de janvier 2008 à décembre 2014.


Je suis membre du comité de rédaction de la revue RAIRO, membre du comité de pilotage de la conférence RTA. 


Comités de Programme récents: 

CIAA 2015,  LATA 2014, 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