Pierre Jouvelot
5, rue d’Alésia
75014 PARIS
France
Tel: +33 (1) 4580 3722
E-mail: pierre.jouvelot@mines-paristech.fr
Web: http://www.cri.mines-paristech.fr/~pj
1 . General
- Born in Geneva (Switzerland), November the 17th 1958
- French Nationality
- Senior Research Scientist at the Research Center for Computer Science
(CRI) of MINES ParisTech (formerly Ecole nationale supérieure des mines
de Paris)
2 . Diplomas
- Professorship qualification (Paris, 95)
- Habilitation Thesis (Univ. Paris Orsay, 94)
- Postdoctoral Fellow (Laboratory for Computer Science, MIT, USA, 87)
- Ph.D in Computer Science (Univ. Paris 6, 86)
- Engineering Degree in Computer Science (Ecole Supérieure d’Electricité,
84)
- M.Sc in Physics and Computer Science (Univ. Paris 6, 82)
- Engineering Degree in Meteorology (ENM, 81)
3 . Domains of Interest
- New Multimedia Technologies (data, images, sound, videogames)
- Musical Applications of Multimedia (education, health)
- Tools and Languages for Software Engineering
- Design, Static Semantics and Implementation of Programming Languages
4 . Professional Experience
- Senior consultant in data compression technologies for SSC Avocats
(2010-2011)
- Associate Investigator of the ANR ASTREE research project (2009-2011)
- Member of the Selection Committee ”Prix des ingénieurs de l’année”
(2004-2005)
- Associate Investigator in the ”AREZZO” RIAM research project
(2002-2004)
- IHEM Business School Auditor, Casablanca, Morocco (Sep.2002)
- Co-founder of the ClickNPlayMusic (www.cnpmusic.com) music distance
learning company (2000)
- Consultant for CNES/CISI in audio and video compression techniques
(Barracuda project) (1994-95). Nominated for the AFCET 1995 prize for
Best Industrial Collaboration.
- Steering Committee Member of the Image and Communication
Architecture Institute IMAC (Université Paris-II) (1994-02)
- Consultant in computer techniques (HDTV, compression) at CST
(subsidiary of the Centre National de la Cinématographie) (1993-94)
- Associate Investigator in the “LOMAPS” ESPRIT research project
(1993-97)
- Associate Investigator in the “Programmation Fonctionnelle” project of
CNRS GDR Programmation (1993-1995)
- Principal Investigator of the MIT/CRI “The FX/CM Compiler” project,
MIT contract number GC-R-117153, 1990-1991
- Member
of the Program Committee of the International Workshop on Compilers
for Parallel Computers (Paris, CPC’90), International Workshop on
Static Analysis (Bordeaux, WSA’93), International Symposium on Static
Analysis (Namur, SAS’94; Glasgow, SAS’95), International Conference
on Signal Processing Applications and Technology (Boston, ICSPAT’96),
International Entertainment Computing Conference (Paris, ICEC’09)
- Visiting Professor at LCS/MIT (July-August 88, January-March 89,
June-September 89, January-March 90, July-August 90, January-March
91, July-September 91, January-March 92, July-August 92, August 93),
Oregon Graduate Institute (March 93), MIT AI/Lab (Jun 93)
- Reviewer for:
-
Conferences
- European Symposium on Programming (ESOP), ACM
Principles Of Prog. Lang. (POPL), ACM Principles of Language
Design and Impl. (PLDI), Renpar, Europar, Symp. on Theor.
Aspects of Comp. Sc. (STACS), International Symposium on Static
Analysis (SAS), Euromicro, ACM Transactions on Programming
Languages and Systems, ACM Conference on Code Generation and
Optimization, Sound and Music Conference (SMC), ACM Principles
and Practice of Parallel Computing (PPoPP)
-
Journals
- The Computer Journal, Technique et Science Informatiques,
Science of Computer Programming, ACM Computing Reviews,
International Journal of Parallel Programming, Informatique
Théorique et Applications
- Expert for the US National Science Foundation (NSF), Natural Sciences and
Engineering Research Council of Canada (NSERC), Fonds Formation de
Chercheurs et l’Aide à la Recherche (FCAR, Canada), Prix des ingénieurs de
l’année ”Industries et technologies”, Nederlandse Organisatie voor
Wetenschappelijk Onderzoek (NWO), Fonds national suisse (SNF)
- Consultant on Advanced Compiler Techniques (vectorization, parallelization,
functional programming,...) at Bull Research Center (88-91)
- C Compiler designer and implementer on the ISIS Vector Machine, Bull
(86)
- Software Engineer at the Development Department of the Météorologie
Nationale (CRAY, AI,...) (83-85)
- Chairman of the Earth Sciences Session of the 5th Expert Systems Conference
in Avignon (85)
- Member of ACM (84-96) and AFCET (84-87)
- IBM Summer School (84)
5 . Publications
Editorial Boards
- Entertainment Computing Journal, since 2011
- Presses des Mines , since 1995
- Minis et Micros, 84-90
Books
- Meyer, B. Conception et programmation orientées objet (Objet-Oriented
Design and Programming), Eyrolles, 2000 (book translation). 2nd edition,
2007
- Jouvelot, P., and Leconte des Floris, D. Introduction au Système
d’Exploitation et Logiciel de Base pour Micro-Ordinateurs (Introduction
to Operating System and Tools for Microcomputers), ETSF, 1984
Refereed Journals
- Benveniste, S., Jouvelot, P., Pin, B., and Pequignot, R. The MINWii
Project: Renarcissization of Patients Suffering from Alzheimer’s Disease
Through Video Game-Based Music Therapy. Entertainment Computing,
Elsevier (to appear, 2012)
- Jouvelot, P., and Orlarey, Y. Dependent Vector Types for Data Structuring
in Multirate Faust. Computer Languages, Structures and Systems,
Elsevier, http://dx.doi.org/10.1016/j.cl.2011.03.001, Mar.11
- Boulay, M., Benveniste, S., Boespflug, S., Jouvelot, P., and Rigaud, A.-S.
A Pilot Usability Study of MINWii, a Music Therapy Game for Demented
Patients. Technology and Healthcare J., 19/4(233-46), Jan.11
- Benveniste, S., Jouvelot, P., Michel, R., and Lecourt, E. La
Wiimprovisation en musicothérapie analytique de groupe : design
participatif avec des enfants atteints de troubles du comportement, La
revue française de musicothérapie, XXIX, No. 3, 2009
- Talpin, J. P., et Jouvelot, P. The Type and Effect Discipline. Information
and Computation, vol. 111, no. 2, Jun.94
- Dornic, V., Jouvelot, P., and Gifford, D. K. Polymorphic Time Systems
for Estimating Program Complexity. ACM LOPLAS, no. 1, Vol. 1, 1992
- Talpin, J-P., and Jouvelot, P. Polymorphic Type, Region and Effect
Inference. J. of Functional Programming, vol. 2, no. 3, 1992
- Jouvelot, P., and Feautrier, P. Parallélisation Sémantique. ITA, vol. 24,
no. 2, AFCET, 1990
Journals
- Talpin, J.-P., and Jouvelot, P. Le Compilateur FX et la CM2, Chroniques
Hyperparallèles, Jul.92
- Jouvelot, P., and Dehbonei, B. Recursive Pattern Matching on Concrete
Data Structures, ACM SIGPLAN Notices, ACM, Nov.89
- Jouvelot, P., and Dornic, V. FX-87, or what comes after Scheme?, Special
Edition of the BIGRE Bulletin, AFCET, May.89
- Jouvelot, P. Designing New Languages or New Language Manipulation
Systems using ML, ACM SIGPLAN Notices, Aug.86
Refereed Conferences
- Benveniste, S., Jouvelot, P., and Péquignot, R. The MINWii Project:
Renarcissization of Patients Suffering from Alzheimer’s Disease Through
Video Game-Based Music Therapy. ICEC’10, Seoul, Sep.10
- Jouvelot, P., and Orlarey, Y. Dependent Types for Multirate Faust.
SMC’10, Barcelone, Aug.10
- Benveniste, S., Jouvelot, P., Lecourt, E., and Michel, R. Designing
Wiimprovisation for Mediation in Group Music Therapy with Children
Suffering from Behavioral Disorders. ACM SIGCHI IDC’09, Como, Jun.09
- Benveniste,S., Jouvelot,P., and Michel, R. Wii Game Technology for Music
Therapy: A First Experiment with Children Suffering from Behavioral
Disorders. IADIS MCCSIS’08 Int. Conf. Gaming 2008, Amsterdam, Jul.08
- Benveniste,S., and Jouvelot.,P. MAWii : Musicothérapie active avec la
Wii. 19me Conférence francophone sur l’Interaction homme-machine,
Paris, Oct.07
- Denis, G., and Jouvelot, P. Motivation-Driven Educational Game Design:
Applying Best Practices to Music Education, ACM SIGCHI Advances in
Computer Education Conference, Valencia, Jun.05
- Denis, G., and Jouvelot, P. Building the Case for Video Games in Music
Education, 2nd International Workshop on Game Design and Technology,
Liverpool, Nov.04
- Jouvelot, P., with Bonet, N. Music Composer’s Workbench: vers un
environnement intelligent de l’enseignement de la composition tonale.
(Music Composer’s Workbench: towards an intelligent environment
of tonal composition teaching). Journées d’Informatique Musicale,
Lalonde-les-Maures, May.98.
- Tang, Y-M., and Jouvelot, P. Effect Systems with Subtyping. ACM PEPM,
La Jolla, Jun.95
- Tang, Y-M., and Jouvelot, P. Separate Abstract Interpretation for
Control-Flow Analysis. TACS’94, Sendai (Japon), LNCS 789, Springer
Verlag, Apr.94
- Talpin, J-P., and Jouvelot, P. Compiling FX for the CM-2. 3rd
International Workshop on Static Analysis, LNCS 724, Springer Verlag,
Padoue, Sep.93
- Dehbonei, B., and Jouvelot, P. Semantical Interprocedural Analysis by
Partial Symbolic Evaluation. ACM PEPM Conference, San Francisco,
Jun.92
- Talpin, J. P., and Jouvelot, P. The Type and Effect Discipline. IEEE Logic
In Computer Science Conference, Santa Cruz, Jun.92
- Gifford, D. K., Jouvelot, P., Sheldon, M., and O’Toole, J, Jr. Semantic
File Systems, ACM SOSP, Pacific Grove, Oct.91
- Irigoin, F., Jouvelot, P., and Triolet, R. Semantical Interprocedural
Parallelization: An Overview of the PIPS Project, ACM Int. Conf. on
Supercomputing, Cologne, Jun.91
- Jouvelot, P., and Gifford, D. K. Algebraic Reconstruction of Types and
Effects, ACM POPL, Orlando, Jan.91
- Jouvelot, P., and Dehbonei, B. A Unified Semantic Approach for the
Vectorization and Parallelization of Generalized Reductions, 1989 ACM
SIGARCH Int. Conf. on Supercomputing, Crete, Jun.89
- Jouvelot, P., and Gifford, D. K. Reasoning about Continuations with
Control Effects, ACM SIGPLAN Int. Conf. PLDI’89, Portland, Jun.89
- Jouvelot, P., and Gifford, D. K. The FX-87 Interpreter, 1988 IEEE
International Conference on Computer Languages, Miami Beach, Oct.88
- Jouvelot, P. Semantic Parallelization: A Non-Standard Denotational
Approach for Imperative Sequential Programs Parallelization, ACM
Computer Science Conference, St-Louis, Feb.87
- Jouvelot, P. Semantic Parallelization: A Practical Exercise in Abstract
Interpretation, ACM POPL, Munich, Jan.87
- Jouvelot, P. Parallelization using Semantic Detection of Reductions,
ESOP86, Springer Verlag LNCS 213, Sarrebruck, Mar.86
- Jouvelot, P. ML: Un Langage de Maquettage ? (ML: A Prototyping
Language?), AFCET Workshop on New Languages for Software
Engineering, Evry, Oct.85
- Jouvelot, P., and Leconte des Floris, D. A Multi-Level Inference Engine,
COGNITIVA85, CESTA, Paris, Jun.85
Invited Conferences
- Jouvelot, P., et Pin, B. Plinn : La Description de l’Egypte (Poster et
atelier). 1er Festival de l’histoire de l’art, Fontainebleau, May.11
- Jouvelot, P., et Benveniste, S. Wiimprovisation avec des enfants
souffrant de troubles du comportements. XIXème Journées scientifiques de
musicothérapie, Univ. Paris Descartes, Mar.09. Online video available as
http://mediatheque.parisdescartes.fr/article.php3?id_article=3738.
- Jouvelot, P. Arezzo (Poster). RIAM Symposium, Rennes, Jun.04
Workshops
- Barkati, K., and Jouvelot, P. Synchronous Programming in Audio
Processing: A Use Case Study, Int. Work. on Synchronous Programming,
Melun, Nov.11
- Benveniste, S., Jouvelot, P., Pin, B., Michel, R., and Lecourt, E. MAWii:
Active Music Therapy for ADHD Children (Poster), Colloque STIC et
santé, Esigetel, Apr.11
- Benveniste, S., Jouvelot, P., Pin, B., Pequignot, R., Boulay, M., Boefsplug,
S., and Rigaud, A.-S. MINWii: A Music Game for Demented Patients
(Poster), Colloque STIC et santé, Esigetel, Apr.11
- Amini, M., Ancourt, C., Coelho, F., Creusillet, B., Guelton, S., Irigoin,
F., Jouvelot, P., Keryell, R., and Villalon, P. PIPS Is not (just)
Polyhedral Software: Adding GPU Code Generation in PIPS, Int. Work.
on Polyhedral Compilation Techniques, Chamonix, Apr.11
- Coelho, F., Jouvelot, P., Ancourt, C., and Irigoin, F. Data and Process
Abstraction in PIPS Internal Representation, Int. Work. on Internal
Representation, Chamonix, Apr.11
- Pop, S., Jouvelot, P., and Silber, G-A. In and Out of SSA: A Denotational
Specification, Static Single-Assignment Form Seminar, Autrans, Apr.09
- Pop, S., Cohen, A., Jouvelot, P., and Silber, G-A. The New Framework
for Loop Nest Optimization in GCC: from Prototyping to Evaluation, Int.
Work. on Compilers for Parallel Computers, La Corogne, Jan.06
- Ancourt, C., Coelho, F., Creusillet, B., Irigoin, I., Jouvelot, P., and Keryell,
R. PIPS: A Workbench for Program Parallelization and Optimization
(Poster), European Parallel Tool Meeting, ONERA, Oct.96
- Nielson, F., Cousot, P., Dam, M.F., Degano, P., Jouvelot, P., Mycroft,
A., and Thomsen, B. Logical and Operational Methods in the Analysis of
Programs and Systems. LOMAPS Workshop, Mads Dam (Ed.), Springer,
LNCS 1192, Jun.96
- Tang, Y-M., and Jouvelot, P. Control-Flow Effects for Escape Analysis,
Workshop on Static Analysis, Bordeaux, Oct.92
- Talpin, J. P., and Jouvelot, P. Polymorphic Type, Region and Effect
Inference, Workshop on Static Analysis of Equat., Funct., and Logic
Programs, Bordeaux, Oct.91
- Dornic, V., and Jouvelot, P. Polymorphic Time Systems for Estimating
Program Complexity, Workshop on Static Analysis of Equat., Funct., and
Logic Programs, Bordeaux, Oct.91
- Talpin, J. P., and Jouvelot, P. Type, Effect and Region Reconstruction and
its Applications, Inter. Workshop on Compilers for Parallel Computers,
Paris, Dec.90
- Irigoin, F., Jouvelot, P., and Triolet, R. Overview of the PIPS Project,
Inter. Workshop on Compilers for Parallel Computers, Paris, Dec.90
- Jouvelot, P. Pragmatics in Parallel Functional Programming, 2-èmes
Journées FIRTECH, Paris, Nov.88
- Jouvelot, P., and Gifford, D. K. Parallel Functional Programming: The FX
Project, Inter. Workshop on Parallel and Distributed Algorithms, Bonas,
Oct.88, published by North-Holland
Selected Reports
- Jouvelot, P. Projet Barracuda: Etude Audio/Vidéo, Rapport CISI/CNES,
Mai.95
- Jouvelot, P. Analyse Statique Comportementale des Langages de
Programmation (Static behavioral Analysis of Programming Languages),
CRI-A/254 (Habilitation Thesis - in French), Ecole des mines de Paris,
Dec.93
- Consel, C., and Jouvelot, P. Separate Polyvariant Binding-Time Analysis,
Oregon Graduate Institute Tech. Rep. CS/E 93-006, Mar.93
- Gifford, D. K., Jouvelot, P., Sheldon, M. A., and O’Toole, J. W. Report
on the FX-91 Programming Language, MIT/LCS-TR 531, Feb.92
- Jouvelot, P., and Triolet, R. NewGen: A Language-Independent Program
Generator, CRI-191, Ecole des mines de Paris, Jul.89
- Jouvelot, P., and Gifford, D. K. Communication Effects for Message-Based
Concurrency, MIT/LCS-TM 386, Mar.89
- Gifford, D. K., Jouvelot, P., Lucassen, J. M., and Sheldon, M. A. FX-87
Reference Manual, MIT/LCS-TR 407, Sep.87
- Azegouar, A., Dehbonei, B., Jouvelot, P., and Memmi, G. Réflexions
sur la Vectorisation et la Parallélisation (Thoughts on Vectorization and
Parallelization), Bull DSG/CRG/87011, May.87
- Jouvelot, P. Parallélisation Sémantique: Une Approche Dénotationnelle
Non-Standard pour la Parallélisation de Programmes Impératifs
Séquentiels (Semantic Parallelization: A Non-Standard Denotational
Approach for the Parallelization of Imperative Sequential Programs),
MASI TechRep 174 (PhD Thesis Paris 6 - in French), Feb.87
- Jouvelot, P. Evaluation Sémantique des Conditions de Bernstein
(Semantic Evaluation of Bernstein Conditions), MASI TechRep 70, Univ.
Paris 6, Feb.85
Talks
- Dependent Vector Types for Data Structuring in Multirate Faust.
Séminaire IRCAM, may.11
- Les jeux vidéo, ou apprendre en s’amusant. Les Goûters scientifiques,
MINES ParisTech, Fontainebleau, déc.10
- Images et sons numériques. Bar des sciences, Viry-Chatillon, oct.06
- Jeux vidéo et éducation. TV interview i>TELE, Cité des sciences, Paris,
Sunday 1, oct.06
- Enseignement musical et jeux vidéo, Pôle de compétitivité Cap Digital,
Paris, Juin.06
- Jeux vidéo et éducation : mythes et réalités, Ecole des mines de Paris,
Jeudis de Fontainebleau, Déc.05 ; Villette Numérique’06, Cité des sciences,
Paris, Oct.06
- Algebraic Abstract Effects, LOMAPS Meeting, Stockholm (S), Juil.96
- Effect Systems with Subtyping, LOMAPS Meeting, Cambridge (UK),
Juil.95
- Separate Polyvariant Binding Time Reconstruction, LOMAPS Meeting,
ENS, Paris, Dec.94
- Separate Abstract Interpretation for Control-Flow Analysis, LOMAPS
Meeting, CRI, Fontainebleau, Jun.94
- Effect Systems, pre-LOMAPS Meeting, DAIMI, Aarhus, Oct.93
- New Applications of Effect Systems, Ecole Normale Supérieure, May.93;
GDR Programmation, Ploubalzanec, Jun.93; ESPRIT Semantique
Workshop, London, July.93
- NewGen, Lazy Seminar, Bull, Billerica, Massachusetts, Aug.92
- Effect Systems: Theory and Applications, Projet SAFIR, Sophia Antipolis,
May.92 and GMD, Karlsruhe, Sep.92 and OGI, Portland, Feb.93
- Semantic File Systems, Club Calcul Parallèle, Ecole des mines de Paris,
Paris, Oct.91 and Lazy Seminar, Bull, Billerica, Massachusetts, Mar.92
- Effect Systems: II, Jumelage Meeting, Bell Labs, Murray Hill, Oct.91
- Polymorphic Time Systems for Estimating Program Complexity, IFIP WG
2.8, Paris, Apr.91
- Effect Reconstruction in Polymorphic Effect Systems. Kansas State
University and Yale University, Mar.91
- Using Type and Effect Systems for Parallelism. Workshop on
Parallelization in the Presence of Pointers and Dynamically-Allocated
Objects, Virginia, Mar.90
- Applications of Polymorphic Effect Systems. Systems Seminar, Yale
University, Mar.90 and Paris 6 University, May.90
- The FX Language. MIT Industrial Liaison Program, Mar.89 (Toshiba)
and Aug.89 (Matsushita)
- Decentralized/Large Scale Information Systems.
MIT Industrial Liaison Program, Mar.89 (Bell-Northern Research Ltd.)
and Feb.89 (Hewlett-Packard).
- Groupe Architecture des Ordinateurs, LITP, Mar.88
- Groupe Programmation Fonctionnelle et par Objets, LITP, Mar.88
- Groupe Calcul Parallèle, Ecole des mines de Paris, Mar.88
- Boston Community Information System: Experimental Results. MIT
Industrial Liaison Program, Dec.87 (Bull Corp.)
6 . Students
Postdoc
- Benveniste, S. Validations thérapeutiques de MAWii et MINWii,
Jan.11-Sep.11
- Barkati, K. Analyse comparative de Faust et des langages musicaux et
fonctionnels, Jan.10-Feb.11
PhD
- Advisor
- Benveniste, S. La conception incrémentale de jeux sérieux musicaux
pour la santé : théorie et application au traitement des troubles du
comportement et de la maladie d’Alzheimer, MINES ParisTech, Dec.10
- Denis, G. Jeux vidéo éducatifs et motivation : application à l’enseignement
du jazz, Ecole des mines de Paris, Dec.06. Published at Presses de l’Ecole
des mines de Paris, 2008
- Tang, Y-M. Implémentation Efficace des Langages Fonctionnels, Ecole des
mines de Paris et Université Paris 6, Mar.94
- Talpin, J-P. Aspects Théoriques et Pratiques de l’Inférence de Type et
d’Effet, Ecole des mines de Paris et Université Paris 6, May.93
- Dornic, V. Analyse de Complexité des Programmes: vérification et
inférence, Ecole des mines de Paris et Université Paris 6, Jun.92 (Thesis
co-Advisor)
- Certifier
- Soulan, S. Développement de la scatterométrie dynamique pour le suivi
en temps réel de procédés : application à la microélectronique, Université
Joseph Fourier-Grenoble I, Dec.08
- Hornof, L. Analyses statiques pour la spécialisation effective de
programmes réalistes, IRISA, Rennes I, Jul.97
- Miniussi, A. Amélioration des Performances d’un Système de Compilation
d’Equations, Bordeaux I, Jun.97
- Fontalbe, P. Evaluation Partielle Symbolique, Université Paris 6, Avr.96
- Bennani, N. Proposition d’un modèle
de programmation et d’implémentation parallèle d’un langage fonctionnel
sans variables, Lille, Nov.94
- Dehbonei, B. Génération de Code et Analyse Interprocédurale au sein d’un
Environnement de Programmation Parallèle, Paris 6, Dec.90 (Co-Certifier)
- Member
- Ngo, B. H. Système de fichiers sémantique basé sur le contexte,
TELECOM & Management SudParis, Jun.09 (Jury President)
- Huggins, K. LINEA : une méthode de calcul par graphes de la proximité
des objets sur Internet, Ecole des mines de Paris, Apr.05
- Charles, C. SearchXQ : une méthode d’aide à la navigation fondée sur
Omega-means, algorithme de classification non-supervisée. Application sur
un corpus juridique francais, Ecole des mines de Paris, Dec.04
- Redon, X. Détection et exploitation des récurrences dans les programmes
scientifiques en vue de leur parallélisation, Paris 6, Jan.95
- Ericsson-Zenith, S. Process Interaction Models, Paris 6, Jui.92
- Tawbi, N. Parallélisation Automatique : Estimation des Durées
d’Exécution et Allocation Statique de Processeurs, Paris 6, Apr.91
Master
- Darmoul, R. Optimisations Faustiennes : analyse, vectorisation et
parallélisation de programmes FAUST via PIPS, Inst. sup. d’inf., U. de
Tunis El Manar, Sep.10
- Boussema, A. Développement d’un prototype de jeu vidéo multi-utilisateurs
dédié aux personnes handicapées, Inst. sup. d’inf., U. de Tunis El Manar,
Sep.08
- Saito, A. CNPMusic Business Development, Entrepreneurial Field
Studies, MBA INSEAD, Jul.08
- Macerot, G. Cha-Luva Swing Festival, DESS Jeux vidéo et média
interactifs, Angoulême, Dec.04
- Segard, J. Vers un enseignement à distance de la musique, Université
Bordeaux I, Aou.00
- Vouillon, J. Systèmes de Types et d’Effets par Interprétation Abstraite,
ENS Ulm, Jui.95
Bachelor
- Surée, A. Analyse de types pour Faust multirate, ENS Ulm, Sep.11
7 . Teaching
- Computer Science Fundamentals (Advanced course, Ecole des mines de
Paris, since 04)
- Computer Music (Mastère mines and Ecole des mines de Paris, since 99)
- Digital Sound (IMAC, Paris 2, 96 to 99)
- Text, Sound and Image Compression (IMAC, Paris 2, 93 to 02; Ecole des
mines de Paris, 93 to 98; GRECO Informatique, CNIT, May.96; Mastère
HEC and Ecole des mines de Paris, 98 to 04)
- Theoretical Computer Science (IMAC, Paris 2, 94; Mastère mines, Oct.98)
- NewGen (GRECO Informatique, CNIT, Nov.91)
- Complexity Theory (Ecole des mines de Paris, 89)
- Semantics of Programming Languages (Ecole des mines de Paris, 88)
- Functional Programming (Ecole des mines de Paris, 88)
- Artificial Intelligence (Ecole des mines de Paris, 86)
- Teaching Assistant “Unix Kernel” (Paris 6, 83 to 85)
- Artificial Intelligence and Expert Systems (CCETT, 85)
- Operating Systems (ENST, 84)
8 . Other Activities
- Airplane private pilot and owner (France, USA)
- Music Composition: Narcis Bonet’s classes on harmonical analysis,
harmony and counterpoint at Schola Cantorum, Paris, 95 to 99
- Classical Music: piano, MIDI home studio
- Sports: ski, swimming, sailing
- Literature: novels, philosophy, theoretical physics