Catherine Recanati (english version)

Curriculum Vitae

Degrees

- Ph.D in Computer Sciences at Paris 11 University (LRI, Orsay), dec. 1986
Title: "Lambdix: a lambda calculus interpreter with lexical binding and lazy evaluation"
- DEA in Computer Sciences, at Paris 11 University, 1984
- Master thesis in applied mathematics at Paris 11 University, 1983
- Training course in Education (Paris), 1981
- Master thesis in mathematics at Paris 6 University, in 1978
and meanwhile, several courses and seminars in Linguistics.

Home page

Situation

Since1999
Maître de Conférences à l'Université de Paris 13 (research and teaching position), member of the LIPN (Research Lab in Computer Sciences, UMR7030 of the CNRS) in the RCLN team.

1994
Research Associate at the Institute of Cognitive Studies, University of California, Berkeley

1986-90
Research Engineer at Non Standard Logics.

Project Manager of the STAPLE european Esprit project

1984-86
Research grant at LRI, Paris 11 Univ. (Orsay)

1985
Lecturer at Paris 6 University

1983
DEA grant at LRI, Paris 11 Univ., (Orsay)

1979-82
teaching auxiliary in maths (high school classes)

Top CV

Teaching

1999-07

courses

IHM Java : the programming of man/machine interfaces in Java with Swing.

Supervision and Project Management in M1.

Graphical interfaces libraries and their architecture in the X-Window system : course for engineering students.

The Xlib library (book).

Imperative programming : course in DEUG MIAS 1 from 2002 to 2004 (in cooperation with A. Nazarenko; new course on the C language in 2005: Part1.doc, Part2.doc, Part3.doc).

1999-04

Toolkit MOTIF.

1999-02

Multimedia.

1990-05

Supervision and Management of Programming Projects.

Supervision and evaluation of training periods for students in business companies.

1990-98

The X-Window system : book and lecture notes.

The Unix system.

Training course in programming in MIAS 2 from 94 to 98.

Principles of computers : in DEUG MIAS 1ère année 1990- 94.

The C language: new course in Licence in1993-94.

1988-90

Courses for engineers, at Non Standard Logics and Sun France, on the X Window system, HP widgets and MOTIF widgets .

Commercial conferences (AFUU, DEC users group and Sun France).

1985

Programming in Pascal (DEUG 2) at Paris 6 university.

1984

Overview on object oriented programming languages at the Institut Français des Pétroles.

1982-83

Private courses in mathematics for scholars at Maths-Assistance.

Return on top or Home page

Administrative tasks

2007-08
Manager of the first year of the Master Informatique (MI1) from 2008.

2005

Author of a presentation on the LIPN Research on web Engineering (for an AFIA bulletin).

2000-04

In charge of the DEUST IMaRi until 2004 (co-director Y. Bennani)

Member of several administrative working groups of the computing department

Member of the DESS EID staff

1993-2000

Co-director of the DESS GIGA

1994-95

Member of several administrative working groups of the computing department

1992-98
Correspondent of the INRIA B.L. (Bulletin de liaison) for the LIPN

1991-94

Author of a presentation of the LIPN (leaflet english version)

Organizer of a session on "Time and Space Representations" at the "Journées du LIPN", in sep. 1993.

SPECIF correspondent at Paris 13 University

1987-90

Research Engineer at N.S.L. (Non Standard Logics)

Project manager of the european Esprit project STAPLE.

1984-89
Organizer of the seminar of NSL in 1989, and of the 'Machines architecture' team seminar at LRI from 1984 to 1986

Return on top or Home page

Old realizations

1987-90

European project STAPLE.

Absynthe: an automatic generator of (graphical) editors of programs
(system close to the CENTAUR system, the successor of MENTOR, the well-knowned first syntax-directed editor developped at Sophia-Antipolis).
This generator of syntax-directed editors was based on abstract syntax descriptions and concrete syntax descriptions associated with either textual or graphical pretty-printing rules allowing programs to be displayed in hybrid modes. This research was done in a framework of persistent functionnal programming in collaboration with people of St. Andrews university.

1985-86
Ph.D. Thesis

Lambdix: a lambda-calculus interpreter with lazy evaluation.
The main originality of Lambdix was its implementation model of environments switching which can still bear comparison with shallow binding models on call by value, and give lazy evaluation for free.

1984

MPL, an interpreter of an object oriented language written in lisp [to wich I had a second hierarchy of attributes (for object properties)].

An expert system (developped in cooperation with A. Moatti) to solve a TV game about numbers (=reach a target number by linear combination of numbers). The system was shown in 1995 during the exhibition "Les Immatériaux" at the Georges Pompidou museum as an example of future AI programs.

Since1999	Maître de Conférences à l'Université de Paris 13 (research and teaching position), member of the LIPN (Research Lab in Computer Sciences, UMR7030 of the CNRS) in the RCLN team.
1994	Research Associate at the Institute of Cognitive Studies, University of California, Berkeley
1986-90	Research Engineer at Non Standard Logics.
1986-90	Project Manager of the STAPLE european Esprit project
1984-86	Research grant at LRI, Paris 11 Univ. (Orsay)
1985	Lecturer at Paris 6 University
1983	DEA grant at LRI, Paris 11 Univ., (Orsay)
1979-82	teaching auxiliary in maths (high school classes)

1999-07 courses	IHM Java : the programming of man/machine interfaces in Java with Swing.
	Supervision and Project Management in M1.
	Graphical interfaces libraries and their architecture in the X-Window system : course for engineering students.
	The Xlib library (book).
	Imperative programming : course in DEUG MIAS 1 from 2002 to 2004 (in cooperation with A. Nazarenko; new course on the C language in 2005: Part1.doc, Part2.doc, Part3.doc).
1999-04	Toolkit MOTIF.
1999-02	Multimedia.
1990-05	Supervision and Management of Programming Projects.
1990-05	Supervision and evaluation of training periods for students in business companies.
1990-98	The X-Window system : book and lecture notes.
	The Unix system.
	Training course in programming in MIAS 2 from 94 to 98.
	Principles of computers : in DEUG MIAS 1ère année 1990- 94.
	The C language: new course in Licence in1993-94.
1988-90	Courses for engineers, at Non Standard Logics and Sun France, on the X Window system, HP widgets and MOTIF widgets .
1988-90	Commercial conferences (AFUU, DEC users group and Sun France).
1985	Programming in Pascal (DEUG 2) at Paris 6 university.
1984	Overview on object oriented programming languages at the Institut Français des Pétroles.
1982-83	Private courses in mathematics for scholars at Maths-Assistance.

2007-08	Manager of the first year of the Master Informatique (MI1) from 2008.
2005	Author of a presentation on the LIPN Research on web Engineering (for an AFIA bulletin).
2000-04	In charge of the DEUST IMaRi until 2004 (co-director Y. Bennani)
	Member of several administrative working groups of the computing department
	Member of the DESS EID staff
1993-2000	Co-director of the DESS GIGA
1994-95	Member of several administrative working groups of the computing department
1992-98	Correspondent of the INRIA B.L. (Bulletin de liaison) for the LIPN
1991-94	Author of a presentation of the LIPN (leaflet english version)
	Organizer of a session on "Time and Space Representations" at the "Journées du LIPN", in sep. 1993.
	SPECIF correspondent at Paris 13 University
1987-90	Research Engineer at N.S.L. (Non Standard Logics)
1987-90	Project manager of the european Esprit project STAPLE.
1984-89	Organizer of the seminar of NSL in 1989, and of the 'Machines architecture' team seminar at LRI from 1984 to 1986

1987-90 European project STAPLE.	Absynthe: an automatic generator of (graphical) editors of programs (system close to the CENTAUR system, the successor of MENTOR, the well-knowned first syntax-directed editor developped at Sophia-Antipolis). This generator of syntax-directed editors was based on abstract syntax descriptions and concrete syntax descriptions associated with either textual or graphical pretty-printing rules allowing programs to be displayed in hybrid modes. This research was done in a framework of persistent functionnal programming in collaboration with people of St. Andrews university.
1985-86 Ph.D. Thesis	Lambdix: a lambda-calculus interpreter with lazy evaluation. The main originality of Lambdix was its implementation model of environments switching which can still bear comparison with shallow binding models on call by value, and give lazy evaluation for free.
1984	MPL, an interpreter of an object oriented language written in lisp [to wich I had a second hierarchy of attributes (for object properties)].
1984	An expert system (developped in cooperation with A. Moatti) to solve a TV game about numbers (=reach a target number by linear combination of numbers). The system was shown in 1995 during the exhibition "Les Immatériaux" at the Georges Pompidou museum as an example of future AI programs.