Pascal Brisset, Curriculum vite fait
Né le 28 Octobre 1967, nationalité francaise.
Adresse
ENAC
7, avenue Édouard Belin
F-31055 Toulouse -- France
Tel: +33 5 6217 4053 -- Fax: +33 5 6217 4143
Email: pascalPOINTbrissetArecherchePOINTenac.fr
WWW: http://www.recherche.enac.fr
Diplômes
- Ancien élève de l'École Normale Supérieure de St-Cloud, 1986 - 1990
- Licence et Maitrise en informatique, Université de Paris VI, Juin 1987
- DEA d'informatique fondamentale, Université de Paris VII, Septembre 1988
- Doctorat en informatique de l' Université de Rennes 1, supervisé par Yves Bekkers : « Compilation de lambda-Prolog ». Mars 1992.
Expérience
- Membre de l'équipe MALI, INRIA (Institut National de Recherche en Informatique et Automatique), de 1988 à 1992. Spécification et implementation
d'un compilateur et de son environement pour lambda-Prolog.
- Assistant moniteur à l'INSA de Rennes, de 1990 à
1992. Enseignement de la programmation fonctionnelle en Lisp.
- Membre de l'équipe CORE à l'ECRC (European Computer-Industry Research
Center), Munich de 1992 à 1994. Design et implémentation de librairie
de contraintes au sein du système Prolog ECLiPSe.
- Chargé de recherche INRIA à l'Irisa de février à Septembre 1994.
- Enseignant chercheur à l'ENAC (École Nationale de l'Aviation
Civile) depuis Octobre 1994. Enseignement aux élèves ingénieurs
(théorie pour l'informatique , programmation fonctionnelle,
programmation logique). Recherche au laboratoire d'optimisation
globale (algorithmes genetiques, programmation par contraintes,
hybridation); application aux problèmes du trafic aérien.
- Visitor Lecturer à IC-Parc, Imperial College, Londres.
Centres d'intérêt
Programmation logique (ordre supérieur). Programmation par contraintes. Compilation. Optimisation.