Differences
This shows you the differences between two versions of the page.
— |
start [2020/12/23 21:07] (current) michel |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ~~NOTOC~~ | ||
+ | {{keywords> olivier michel computer science programming language Otto e Mezzo MGS AdAGE Chlore MEGA | ||
+ | PTAH computer simulation theoretical biology integrative simulation reactive | ||
+ | language dataflow synchronous language stream data field data structure | ||
+ | algebraic topology combinatorial topology abstract simplicial complex chain | ||
+ | complex chain group homology homotopy analogy cognitive science simulation | ||
+ | of biological processes cell model biological pathway interaction network | ||
+ | gene regulation signal transduction morphogenesis knowledge representation | ||
+ | ontology space and time representation diagrammatic reasoning computational | ||
+ | models for biology clock collection fields group based fields lazzy fields | ||
+ | C++ ML haskell type functional language declarative language type | ||
+ | inference nested type polytypism catamorphism sequence list dynamical | ||
+ | system dynamical structure interpretation compilation partial evaluation | ||
+ | evaluation fixed point fixpoint domain theory static analysis abstract | ||
+ | interpretation denotational semantic multiset rewriting Gamma CHAM | ||
+ | artificial chemistry biological interaction networks Lindenmayer | ||
+ | systems Paun systems amorphous computing aqueous computing membrane | ||
+ | computing biological computation computational biology synthetic biology | ||
+ | spatial computing MGS topological collection systems biology spatial systems biology}} | ||
+ | ====== Olivier Michel ====== | ||
+ | |||
+ | | {{:olivier-copernic.jpg?138|Juin 2009}} ^ //{{ :logo-upec.png?300 |Since September, 2008}}// ^ //Until August, 2008// ^ | ||
+ | | | Lab. [[lacl>|LACL]] – EA 4219 | Lab. [[ibisc>|IBISC]] – FRE 3190 CNRS – LIS Project | | ||
+ | | | Building P2 – 2nd floor - room 240 | Tour Evry-2 | | ||
+ | | | Faculté des Sciences et Technologie | 523 Place des terrasses de l'Agora | | ||
+ | | | 61 avenue du Général de Gaulle | 91000 Évry Cedex | | ||
+ | | | 94010 Créteil Cedex | | | ||
+ | | | France | France | | ||
+ | | {{ :telephone.gif |}} | +33(0)1.45.17.16.35 | +33(0)1.60.87.39.10 | | ||
+ | | {{ :fax.gif |}} | +33(0)1.45.17.66.01 | +33(0)1.60.87.37.89 | | ||
+ | | {{ :e-mail.gif |}} | olivier DOT michel AT u-pec.fr\\ {{ :olivier-michel.png |olivier DOT michel AT u-pec.fr}} | michel AT ibisc.univ-evry DOT fr | | ||
+ | ===== Positions ===== | ||
+ | |||
+ | * 2008 //Professor// at the [[http://www.u-pec.fr/|university of Paris Est - Créteil]] (which is part of the [[http://www.univ-paris-est.fr/|paris-est]] [[http://www.education.gouv.fr/cid5690/mise-en-place-des-poles-de-recherche-et-d-enseignement-superieur-pres.html|PRES]]) | ||
+ | * 1997 //Associate Professor// at the [[http://www.univ-evry.fr|university of Évry]] | ||
+ | * 1996 //**A**ttaché **T**emporaire d'**E**nseignement et de **R**echerches// at university of Orsay | ||
+ | * 1995 //Military service// | ||
+ | * 1992 //Ph.D student// at the [[http://www.lri.fr|LRI]], [[http://www.univ-paris11.fr|university of Orsay]] | ||
+ | |||
+ | |||
+ | ===== Diplomas ===== | ||
+ | |||
+ | * 2007 //[[http://en.wikipedia.org/wiki/Habilitation|Habilitation à diriger des recherches]]// at [[http://www.univ-evry.fr |university Évry]] {{:hdr.pdf|hdr}} | ||
+ | * 1996 //Ph.D. thesis// at [[http://www.u-psud.fr | university Paris XI, Orsay]] {{:these.pdf|Ph.D.}} | ||
+ | * 1992 //Master M.I.S.I.// at university Paris VI, [[http://www.uvsq.fr|Versailles Saint-Quentin]] | ||
+ | |||
+ | |||
+ | ===== Bibliography ===== | ||
+ | |||
+ | A complete bibliography can be found as a[[olivier>/WWW/bib.bib|bibtex file]] or as a [[olivier>/WWW/bib.html|web page]]. | ||
+ | |||
+ | ====== Research activities ====== | ||
+ | |||
+ | Over the last 10 years or so, I have been working on the following projects | ||
+ | - [[:start#the_mgs_project_2000|the MGS project]] | ||
+ | - [[:start#the_8_12_project_1992-2000|the 8 1/2 project]] | ||
+ | which are detailed below (more can be found in [[research:|Research]]). | ||
+ | |||
+ | ===== The MGS Project (2000-) ===== | ||
+ | |||
+ | This work is in collaboration with [[jlg>|J.-L. Giavitto]], [[antoine>|A. Spicher]] and [[julien>|J. Cohen]]. | ||
+ | |||
+ | New sophisticated applications are simulations of //dynamical systems with a dynamical structure//. Paradigmatic examples, in the context of Evry are given by developmental processes in biology. The modelling and the simulation of these processes are one of the goals of the systemic biology program. They have motivated the start of the MGS ((Technical report {{:lamirr61.pdf|RR61}}.)) project soon after the involvement of the LaMI into bio-informatics. | ||
+ | |||
+ | MGS is a rule-based language. A rule is similar to a rewriting rule but acts on almost any kind of data structure. This is possible through a unifying point of view where each data structure is equipped with its neighborhood relationship. The neighborhood relationship enables the definition of a suitable notion of part and a rule specifies the replacement of a part by another part. A set of rules is called a transformation. The definition of a transformation is similar to the specification of a function by case and transformations can be smoothly integrated into any functional language like [[http://www.smlnj.org/|ML]]. | ||
+ | |||
+ | More on this project can be found in the [[mgs>|MGS web page]] and in [[research:|Research]]. | ||
+ | |||
+ | ===== The 8 1/2 Project (1992-2000) ===== | ||
+ | |||
+ | This work was in collaboration with [[jlg>|J.-L. Giavitto]] and [[http://www.limsi.fr/~jps/|J.-P. Sansonnet]]. | ||
+ | |||
+ | The 8 1/2 project has grown in the 1990’s in a computer architecture team developing new parallel architectures. As a matter of fact, stream representing trajectories are also sequential threads of control and multiple streams mean parallel threads of computation. In addition, the instantaneous state of a dynamical system is often a massive object (e.g., in finite elements methods) that can be computed using data-parallel operations. My contributions in this project rise at a moment where the static core (i.e., the features of the language that can be statically analyzed with respect to the parallel implementation) was well understood and where new dynamic data and control structures had to be designed and developed to face more sophisticated applications. | ||
+ | |||
+ | More on this project can be found [[ibisc>/pub/Otto|here]] and in [[research:|Research]]. | ||
+ | |||
+ | |||
+ | ====== Teaching activities ====== | ||
+ | ===== At the university of Paris Est ===== | ||
+ | |||
+ | I give this year two courses at the [[http://www.miage.univ-paris12.fr/|École Supérieure d'Informatique Appliquée à la Gestion]] | ||
+ | * [[http://www.miage.univ-paris12.fr/Programme_M2_ISIAD.html|Advanced Informations' Systems]] at the M2 ISIAD, | ||
+ | * [[http://www.miage.univ-paris12.fr/Programme_M2_ISIAD.html|Competitive Intelligence]] at the M2 ISIAD, | ||
+ | one course, with F. Gava and A. Spicher, at the [[http://lacl.fr/LMD/master.html|Computer System's Safety Master]] at Université Paris Est | ||
+ | * [[http://www.spatial-computing.org/doku.php?id=pssr:start|Programming and Safety of Distributed Systems]] | ||
+ | and one (very short) course, with J.-L. Giavitto, at the [[http://www.aiv-paris.org/en/master-aiv/|Interdisciplinary Approcah to Life Science Master]] | ||
+ | * [[http://www.aiv-paris.org/en/m1-cours-aiv/m1-cours-1re-semestre/ue5--biologie-computationelle.html/|Computational Biology]]. | ||
+ | |||
+ | More is found [[teaching:|here]]. | ||
+ | |||
+ | ===== Previously at the university of Evry ===== | ||
+ | |||
+ | I then taught((in Europe, we now have the LMD system which has three basic years (L1, L2, and L3) corresponding roughly to undergraduate, two advanced years (M1, and M2) corresponding to the Master's degree and three thesis years corresponding to the Ph.D. For those reading french, the government has a [[http://www.education.gouv.fr/cid8/organisation-licence-master-doctorat-l.m.d.html|web page]] that explains all the details.)) at the university of Evry from 1997 to 2007 in the following courses: | ||
+ | * functional programming in L1, | ||
+ | * C programming language in L1 and L2, | ||
+ | * computer architecture in L2, | ||
+ | * operating systems and Unix, networking, development tools, X11 in L2, | ||
+ | * logics in L3, | ||
+ | * human-computer interactions in L3, | ||
+ | * advanced data-structures and their algorithms in L3, | ||
+ | * advanced functional programming, compiling of an imperative programming language, | ||
+ | * lambda-calculus, combinatory logics, virtual machines in M1, | ||
+ | * methods and tools for modeling and simulation in M1, | ||
+ | * data-parallelism, unconventional programming languages, modeling of dynamical systems with a dynamical structure in M2, | ||
+ | * rewriting systems for biological modeling in M2 Bio-Informatics, | ||
+ | * modelling and simulation at the [[http://www.ensiie.fr/|ENSIIE]] Master's degree. | ||
+ | |||
+ | I have a lot of slides for most of these courses; they are available upon request. | ||
+ | |||
+ | ===== At the university of Orsay ===== | ||
+ | |||
+ | I started my teaching activities as I was a Ph.D. student at Orsay. I taught three years of [[wp>Logo_(programming_language)|Logo]] as a mean to bring students to the notions of data and control structures. It is an interesting easy to learn (unlike [[wp>Forth_(programming_language)|Forth]]) functional language that has very simple graphic commands that, once combined, produce complex drawings. It is a good way of explaining --and convincing of the importance of-- recursive programming. | ||
+ | |||
+ | ====== Administrative activities ====== | ||
+ | |||
+ | * member of the editorial board of the french journal //[[http://tsi.revuesonline.com/|Techniques et Sciences Informatiques]]// | ||
+ | * in charge of the second year of the master's diploma [[http://www.miage.univ-paris12.fr/Programme_M2_ISIAD.html|ISIAD]] at the [[http://pegase.miage.univ-paris12.fr/|ESIAG]]. | ||
+ | |||
+ | ====== Miscellaneous ====== | ||
+ | |||
+ | |||
+ | \\ \\ \\ | ||
+ | <html> | ||
+ | <a href="http://www2.clustrmaps.com/counter/maps.php?url=http://www.lacl.fr/~michel" id="clustrMapsLink"><img src="http://www2.clustrmaps.com/counter/index2.php?url=http://www.lacl.fr/~michel" style="border:0px;" alt="Locations of visitors to this page" title="Locations of visitors to this page" id="clustrMapsImg" onerror="this.onerror=null; this.src='http://clustrmaps.com/images/clustrmaps-back-soon.jpg'; document.getElementById('clustrMapsLink').href='http://clustrmaps.com';" /> | ||
+ | </a> | ||
+ | </html> |