Martin OderskyMartin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET.
Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.
Viktor KuncakViktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.
Cyril CayronMes recherches: J'ai travaillé comme microscopiste/cristallographe/métallurgiste sur des projets très variés comme les aciers pour le nucléaire, les alliages titane et nickel pour l'aéronautique, les interconnections en cuivre pour la microélectronique, les piles à combustible haute et basse température, le silicium photovoltaïque hétérojonction et monolike, les batteries au lithium à base de LiFePO4 et silicium. Derrière la plupart de ces sujets de recherche appliquée se cachent des problèmes de recherche fondamentale comme celui lié aux transformations de phases. J'ai donc été amené à travailler sur ce sujet passionnant et j'ai pu démontrer que les variants cristallographiques générés par des transitions structurales forment une structure algébrique de groupoïde. Ces travaux ont mené au développement du logiciel de reconstruction des grains parents à partir de données EBSD appelé ARPGE et distribué dans plus de 20 pays. En 2013-2015 j'ai proposé un nouveau modèle cristallographique pour les transformations martensitiques fcc-bcc dans les aciers, comme une alternative à la théorie phénoménologique de la transformation martensitique. Ce modèle a été depuis étendu aux transformations fcc-hcp (type cobalt), bcc-hcp (type titane) et bcc-fcc (type laiton), ainsi qu’à differents modes de maclage mécanique dans les métaux fcc et hcp. Ce modèle à sphères dures montre que la transformation implique une «distorsion angulaire», forme plus générale que le cisaillement. Le modèle prévoit la possibilité que le plan d’interface de certaines macles mécaniques ne soit pas un plan invariant. Un tel cas de maclage « exotique » a été observé expérimentalement par EBSD en 2017 dans un monocristal de magnésium pur. Je travaille maintenant à définir de manière algébrique les concepts de variants (orientation, distortion, correspondance), et sur les types de macles mécaniques (I, II, et d'autres oubliés des théoriques classiques). Mon parcours : 2014-maintenant: Collaborateur scientifique à l'EPFL/LMTM, Neuchâtel, Suisse. J'aide le professeur Roland Logé dans ses travaux de recherche sur les liens entre les fortes déformations, les textures, les tailles de grains et les transformations de phases (diffusives et displacives). Je suis en charge de la salle de métallographie et des caractérisations SEM, EDS, EBSD, TEM, HRTEM. Je codirige trois thèses (Annick Baur, Margaux Larcher, Céline Guidoux). Je suis reviewer pour Acta Mater., Scripta Mater., Acta Cryst., J. Appl. Cryst., Mater. Charact., etc. 2000-2014: Ingénieur de recherche et responsable du groupe Nanocaractérisation, CEA/LITEN, Grenoble, France. 2012 : Habilitation à Diriger des Recherches (HDR). 1996-2000: Thèse sur l'étude par microscopie électronique de composites à matrice aluminium. Directeur de thèse Philippe Buffat, CIME, EPFL, Lausanne, Suisse. J'ai pu montrer un lien cristallographique entre différentes phases des alliages 2xxx et 6xxx et proposer pour la première fois une structure complète pour la phase beta prime des nanoprécipités. 1995-1996: Scientifique du contingent, travail sur les écrans électrochromes, COGIDEV, Rueil-Malmaison, France, fondé par M. André Giraud, ancien ministre de la défense et ancien ministre de l’industrie. 1992-1995: Ecole Nationale Supérieure des Mines de Nancy, France
Willy ZwaenepoelWilly Zwaenepoel received his B.S. from the University of Gent, Belgium in 1979, and his M.S. and Ph.D. from Stanford University in 1980 and 1984, respectively. In September 2002, he joined EPFL. He was Dean of the School of Computer and Communications Sciences at EPFL from 2002 to 2011. Before joining EPFL, Willy Zwaenepoel was on the faculty at Rice University, where he was the Karl F. Hasselmann Professor of Computer Science and Electrical and Computer Engineering.
He was elected Fellow of the IEEE in 1998, and Fellow of the ACM in 2000. In 2000 he received the Rice University Graduate Student Association Teaching and Mentoring Award. In 2007 he received the IEEE Tsutomu Kanai award. He was elected to the European Academy in 2009. He won best paper awards at SigComm 1984, OSDI 1999, Usenix 2000, Usenix 2006 and Eurosys 2007. He was program chair of OSDI in 1996 and Eurosys in 2006, and general chair of Mobisys in 2004. He was also an Associate Editor of the IEEE Transactions on Parallel and Distributed Systems from 1998 to 2002.
Willy Zwaenepoel has worked in a variety of aspects of operating and distributed systems, including microkernels, fault tolerance, parallel scientific computing on clusters of workstations, clusters for web services, mobile computing, database replication and virtualization. He is most well known for his work on the Treadmarks distributed shared memory system, which was licensed to Intel and became the basis for Intels OpenMP cluster product. His work on high-performance software for network I/O led to the creation of iMimic Networking, Inc, which he led from 2000 to 2005. His current interests include large-scale data stores and software testing. Most recently, his work in software testing led to the creation of BugBuster, a startup based in Lausanne.
Gervais ChapuisCliquer ici pour une biographie plus complète
Etudes à l'Ecole Polytechnique Fédérale de Zurich (ETHZ) en Suisse. Après son diplôme de cristallographe obtenu en 1966, il prépare sa thèse dans la même institution sous la direction du Prof. A. Niggli qui a été défendue en 1972. Il a poursuivi durant trois ans ses travaux de recherche au Lawrence Berkeley Laboratory en Californie dans le laboratoire du Prof. D. H. Templeton, spécialiste bien connu dans la champ de la diffraction résonante. De retour en Suisse, il rejoint l'Institut de cristallographie nouvellement créé à l'Université de Lausanne sous la direction du Prof. D. Schwarzenbach. En 1991, il est nommé professeur ordinaire puis en 1999, directeur de l'Institut de cristallographie. En 2003, son unité est transférée à l'Ecole Polytechnique Fédérale à Lausanne où il est nommé professeur ordinaire.
G. Chapuis a présidé de nombreux comités et sociétés internationaux dans le domaine de la cristallographie. En particulier, il a présidé le comité des structures apériodiques de l'Union Internationale de cristallographie (IUCr). Il est également membre de la commission de l'enseignement de cette même organisation. Il a également présidé la société suisse de cristallographie.
G. Chapuis est co-éditeur du Journal Acta Crystallographica et participe dans de nombreux comités de lectures pour différentes revues scientifiques consacrées à la cristallographie et à la physique du solide.
Ses domaines de recherche couvrent plus spécifiquement l'étude théorique et expérimentale des structures apériodiques et en particulier les structures incommensurables par diffraction et dynamique moléculaire. Il est l'auteur de plus de trois cents articles scientifiques publiés dans des revues internationales avec arbitrage. De plus G. Chapuis se consacre au développement interactif de l'enseignement de la cristallographie avec les nouvelles technologies de communication accessibles sur Internet.
