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