Samuel ChassotI am a PhD candidate in LARA at EPFL, under the guidance of Prof. Viktor KunÄak. My research focuses on Formal Methods and Software Verification. One of my recent work was to formally verify a mutable hash table from the Scala standard library.Before starting my PhD, I obtained an MSc in Computer Science from EPFL, Switzerland. Education MSc Computer Science | 2016 – 2022 EPFL
Pascal FrossardTeaching & PhD PhD Students Yiming Qin, Alba Carballo Castro, Elisa Messori, Ke Wang, Sevda Ögüt, Tuna Alikasifoglu, William Cappelletti, Manuel Madeira, Mahdi Amiri, Ortal Yona Senouf, Vasiliki Rizou, Cem Bilaloglu, Abdellah Rahmani, Amel Abdelraheem, Jérémy Jean Philippe Baffou, Adam Hazimeh, Vincent Jung, Yike Zhao Past EPFL PhD Students Dan Jurca, Jean-Paul Wagner, Ivana Radulovic, Ivana Tosic, Effrosyni Kokiopoulou, Zafer Arican, Vijayaraghavan Thirumalai, Tamara Tosic, Eirina Bourtsoulatze, Elif Vur
Roger HerschRoger D. Hersch is professor of Computer Science and head of the Peripheral Systems Laboratory at EPFL. He received his engineering degree from ETHZ in 1975, worked in industry from 1975 to 1980, and obtained his PhD degree from EPFL in 1985. He directed the widely known
Visible Human Web Server project
, which offers a number of services for the visualization of human anatomy.
His current research focuses on color reproduction, spectral color prediction models, moiré imaging, and visual document security. Recent achievements include the PhotoProtect technology, which incorporates text as chromatic differences in order to protect identity photographs (Swiss driving license), microstructure imaging, which is used by railways companies (SNCF, RENFE) and festival organizers (Paleo) to print tickets at home and the band moire imaging technology for the protection of security documents.
Julie Nathalie S GheysenProfessionals experiences PhD student 2018–2022 Université Catholique de Louvain
Teaching & PhD Courses Materials MSE-171 Introduction course of material science applied to usual building materials, especially concrete and metals. Description of their fabrication, mechanical and thermal properties and use in construction. Mechanical behaviour of materials MSE-234 This course provides an introduction to the mechanical behaviour, the processing, the structure and life-cycle o
Giovanni De MicheliExpertise
Design technologies for integrated systems on silicon, such as synthesis, hw/sw codesign and low-power design, as well as systems on heterogeneous platforms including electrical and biological components.
Scientific Director of EcoCloud Center at EPFL
Directing activities towards creating sustainable computation including AI.Designing energy-savvy data centers and edge devices.
More information
Please read http://si2.epfl.ch/~demichel/
Giovanni De Micheli is a research scientist in electronics and Barbara GalimbertiExpertise
Archival science, collections management, and information sciences applied to architectural archives and to heritage and research collections, within the Archives of Modern Construction (ACM) of the École polytechnique fédérale de Lausanne.Standardized archival description, metadata structuring and governance, dissemination of finding aids, and development of digital infrastructures for long-term preservation and access (Morphé / AtoM + Archivematica ; MorphéPlus).Intellectual and physical process
Stéphane JoostExpertise
Geographic Information Science and spatial statisticsMolecular ecology, Landscape genomics, Seascape genomicsSpatial epidemiology, Health geographics
Publications Publications- List of publications
Teaching & PhD PhD Students Marco André Vieira Ruas, Manon Laetitia Pribille, Martine Valérie Besse Past EPFL PhD Students Estelle Rochat, Solange Catherine Gaillard, Oliver Michele Selmoni, Anaïs Ladoy, Annie Sandrine Guillaume Past EPFL PhD Students as codirector Sylvie Stucki, Kevin Leempoel, Martí
Ian SmithPhD, Cambridge University, 1982 Interests 1 Active shape control for structures for deployment and where serviceability criteria governs 2 Biomimetic structures (learning, self-diagnosis, self-repair) 3 Infrastructure management support through structural identification 4 Advanced computer-aided engineering applications of stochastic optimization and search, multi-criteria analysis, system uncertainties (measurement and modelling), multi-modal approaches (combining statistics with behavior models) More details : see https://www.epfl.ch/labs/imac/research/iansmith/ Alain Michel PrenleloupTeaching & PhD Courses Mechanics of structures (For GM) ME-232 The student acquires the basics of stress analysis and deformation of linear elastic beams subjected to traction, shear, torsion, flexure; the influence coefficients an energy method to analyze statically determined and indetermined structures; rupture criteria.
Ronan BoulicI come from Brittany, France, where I have completed my PhD degree in Computer Science in 1986 from the University of Rennes, France, at the INRIA-IRISA research institute. I also received the Habilitation degree from the University of Grenoble, France, in march 1995. I was hired in 1989 as First Assistant in the VRLAB, I became scientific collaborator, and senior researcher. I'm presently Senior Scientist (MER) and leader of the Immersive Interaction research Group (IIG). I'm co-author of around 150 research papers among which 43 appeared in international peer-reviewed journals. I have contributed to multiple SNF projects and EU projects. Please check iig.epfl.ch for more details.
Show more