Sophie Tison                    English

Vice-Présidente Partenariats, Innovation, Valorisation de l'Université Lille 1- Sciences et Technologies

Professeur d'Informatique                                                                                          

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

    mel: prenom "." nom -at-  univ-lille1.fr 

Un court CV 



Recherche


Mots-clefs: Automates, Réécriture, Contraintes, Logique, Bases de données, Requêtes, Contrôle d'accès. 

Spécialiste des automates d'arbres, j'ai étudié 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. 

Je suis membre de l'équipe LINKS (CRIStAL / Inria ) et participe aux projets ANR DataCert et Colis.

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 Business Intelligence en Master (M1) d'Informatique.



La collectivité


Vice-Présidente Partenariats, Innovation, Valorisation de l'Université Lille 1- Sciences et Technologies 


Membre du jury d'agrégation Mathématiques, option Informatique. 

Membre du Conseil Scientifique de la société See-d


Membre élue du Comité National de la Recherche Scientifique (CoNRS), section 06 (2012-2016). 

Membre élue du Conseil d'Administration de l'Université de Lille 1 sur la liste DPE en 2015-2016. 

Directrice du LIFL de janvier 2008 à décembre 2014.


Comités de Rédaction et de Programme récents 

Comité de rédaction de la revue RAIRO. 

FSCD 2017 ,  FSCD 2016 ,  CIAA 2015,  LATA 2014, Highlights of Logic, Games and Automata 2013, TTATT 2012 , PODS 2012, LATA 2012, SOFSEM 2012


6th International School on Rewriting