Presentation
The STC project has started recently from the motivation of several teams working in theoretical computer science to join their efforts in the field of specification, checking, test and modeling. One of the features of this project is thus to combine various competences - logic, constraints, word automata, trace theory, tree automata. Our goal is both to study these formal methods and to adapt, compare, combine them in interaction either with other teams of the laboratory (distributed and parallel computation, smart card, data bases, learning, natural language) or with others industrial and academic partners. Four main application domains are studied:
- safety and security for embedded systems: SAFE (leaders: M. Clerbout and I. Simplot-Ryl)
- queries and transformations for semi-structured data by the group QUERY , part of the INRIA project Mostrare (leader: S. Tison)
- safe design of digital circuits and B Specification for Hardware Circuits: BHDL (leader: P. Devienne)
- programming languages for biological modeling and simulation: BioComputing (leader: C. Lhoussaine)
News
- Lingbo Kong from Bejing starts with us April 2 (post-doc Mostrare/Query)
- Sébastian Maneth has visited us for one month in May.
- Guillem Godoy Balil has visited us for one week in May.
Address
Sophie Tison - Equipe STC
LIFL- bâtiment M3
Cité Scientifique
Universite des Sciences et Technologies de Lille
59655 Villeneuve d'Ascq Cedex - FRANCE