Catégorie

Logique polyvalente

Personnes associées (67)
Jean-Louis Scartezzini
Directeur du Laboratoire d'Energie Solaire et de Physique du Bâtiment à l'EPFL (1994-présent); Fondateur & Directeur de l'Institut des Infrastructures, des Ressources et de l'Environnement à l'ENAC (2002-2009); Fondateur & Directeur du Programme Doctoral en Environnement de l'EPFL (2002-2009); Co-Directeur de l'Institut des Techniques du Bâtiment de l'EPFL (1994-1997); Professeur Associé de Physique du Bâtiment à l'EPFL (1994-1997); Professeur Associé de Physique du Bâtiment à l'Université de Genève (1990-1997); Chef de Groupe & Chercheur associé au Laboratoire d'Energie Solaire et de Physique du Bâtiment de l'EPFL (1981-1989); Chercheur associé au Groupe de Recherche en Energie Solaire de l'EPFL (1981-1989); Chercheur associé à l'Institut de Géophysique Appliquée de l'Université de Lausanne (1980-1981).
Viktor Kuncak
Viktor 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.
Paolo Ienne
Paolo Ienne has been a Professor at the EPFL since 2000 and heads the Processor Architecture Laboratory (LAP). Prior to that, he worked for the Semiconductors Group of Siemens AG, Munich, Germany (which later became Infineon Technologies AG) where he was at the head of the Embedded Memories unit in the Design Libraries division. His research interests include various aspects of computer and processor architecture, FPGAs and reconfigurable computing, electronic design automation, and computer arithmetic. Ienne was a recipient of Best Paper Awards at the 20th, 24th, and 28th ACM/SIGDA International Symposia on Field-Programmable Gate Arrays (FPGA), in 2012, 2016 and 2020, at the 19th and 30th International Conference on Field-Programmable Logic and Applications (FPL), in 2009 and 2020, at the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES), in 2007, and at the 40th Design Automation Conference (DAC), in 2003; many other papers have been candidates to Best Paper Awards in prestigious venues. He has served as general, programme, and topic chair of renown international conferences, including organizing in Lausanne the 26th International Conference on Field-Programmable Logic and Applications (FPL) in 2016. He serves on the steering committee of the IEEE Symposium on Computer Arithmetic (ARITH) and of the International Conference on Field-Programmable Logic and Applications (FPL). Ienne has guest edited a number of special issues and special sections on various topics for IEEE and ACM journals. He is regularly member of program committees of international workshops and conferences in the areas of design automation, computer architecture, embedded systems, compilers, FPGAs, and asynchronous design. He has been an associate editor of ACM Transactions on Architecture and Code Optimization (TACO), since 2015, of ACM Computing Surveys (CSUR), since 2014, and of ACM Transactions on Design Automation of Electronic Systems (TODAES) from 2011 to 2016.
André-Gilles Dumont
André-Gilles Dumont est né en 1951 à la Brévine (NE). Il obtient en 1976 le diplôme d'ingénieur civil de l'EPFL. Jusqu'en 1979, il est collaborateur d'un bureau d'ingénieurs et dirige la construction de divers bâtiments. Il entre ensuite au Laboratoire des voies de circulation (LAVOC) où il va développer une méthodologie d'essais en vraie grandeur des superstructures routières. Cette activité sera poursuivie au niveau international au sein de deux groupes d'experts scientifiques de l'OCDE. Parallèlement au développement du LAVOC et à l'exécution de nombreux mandats pour des tiers, il est l'auteur de plusieurs recherches dans le domaine des matériaux granulaires et des bitumineux modifiés par des polymères. En Suisse, il assume dès 1985 la présidence de la commission Technologie des matériaux de l'Union des professionnels suisses de la route puis, dès 1990, celle de la commission de coordination Exécution et entretien. Depuis 1991, il est professeur et dirige le LAVOC. Il enseigne aux étudiants du génie civil et du génie rural, d'une part le tracé des voies de circulation et, d'autre part la construction et l'entretien des superstructures routières. Il mène également des recherches dans le domaine des propriétés des matériaux hydrocarbonés et de la modélisation des chaussées, comme dans celui de l'utilisation de la CAO pour l'élaboration des projets routiers et la prise en compte des facteurs environnementaux.
Stefano Spaccapietra
Stefano Spaccapietra is a full professor at EPFL, Switzerland, where he has been heading the database laboratory. He has been in academic positions all along his career. He got his PhD from the University of Paris VI, in 1978, where he first had his master in Computer Science in 1969. At that time, he has been teaching file systems, later turned into teaching database systems. He moved to the University of Burgundy, Dijon, in 1983 to take a professor position at the Institute of Technology. He left Dijon for EPFL in 1988. Prof. Spaccapietra is a Fellow of the IEEE and recipient of the IFIP Silver Core Award and ER Award. He is an ER fellow. He has been Editor-in-chief of the Journal of Data Semantics (LNCS subline), Springer. He is member of the editorial boards of the Data and Knowledge Engineering Journal (Elsevier), the Internet and Web Information Systems Journal (Kluwer), the Revue Internationale de Géomatique (Hermes), and the Computing Letters Journal (CoLe), VSP/Brill. He was former Chair of the IFIP Working Group 2.6 "Databases" and of the ER Conferences Steering Committee.
Rodolphe Schlaepfer
Examples of international experience:
  • Research project in Indonesia (Impact of forest exploitation on the ecological quality of rivers)
  • Research project in Columbia (Impacts of petroleum exploitation on rivers and landscapes)
  • Teaching at the University of Antananarivo (Sustainable management of natiral resources)
  • Other countries: Canada, Sweden, Burkina Faso, Ghana, Switzerland, France, UK
Scientific education:
  • Swiss Federal Institute of Technology Zürich (Forestry),
  • University Laval Quebec (Forest inventory and Statistics),
  • University of Edinburgh (Statistics, Biometry),
  • Oregon State University (Landscape ecology, Forest ecology).
Professional career:
  • Statstician at Ciba-Geigy Basel(1969-1975),
  • Professor for Statistics and Physics at the Swiss Engineering School for Agriculture Zollikofen (1975-1982),
  • Professor for Forest Management and Forest Biometry at the Swiss Federal Institute of Technology in Zürich (1982-1987),
  • Director general of the Swiss Federal Institute for Forest, Snow and Landscape Research in Birmensorf and Professor for Forest Sciences at the Swiss Federal Institute for Technology in Zürich (1987-1996),
  • Professor for Ecosystem Management at the Swiss Federal Institute of Technolgy Lausanne (1997-2005)
  • From 2005: Honory Professsor at the Swiss Federal Institute of Technology Lausanne

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.