Simon GuilloudExpertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as probabilistic proofs, type theory, quantum computing and more.
Expertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as
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.
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 Stephan MorgenthalerACADEMIC POSITIONS
Professor of Applied Statistics, EPFL, 1988-present
Associate Professor of Statistics, Yale University, 1987-1988
Assistant Professor of Statistics, Yale University, 1983-1987
Instructor of Mathematics, Massachusetts Institute of Technology, 1983-1984
Jürgen BruggerI am a Professor of Microengineering and co-affiliated to Materials Science. Before joining EPFL I was at the MESA Research Institute of Nanotechnology at the University of Twente in the Netherlands, at the IBM Zurich Research Laboratory, and at the Hitachi Central Research Laboratory, in Tokyo, Japan. I received a Master in Physical-Electronics and a PhD degree from Neuchâtel University, Switzerland. Research in my laboratory focuses on various aspects of MEMS and Nanotechnology. My group contributes to the field at the fundamental level as well as in technological development, as demonstrated by the start-ups that spun off from the lab. In our research, key competences are in micro/nanofabrication, additive micro-manufacturing, new materials for MEMS, increasingly for wearable and biomedical applications. Together with my students and colleagues we published over 200 peer-refereed papers and I had the pleasure to supervise over 25 PhD students. Former students and postdocs have been successful in receiving awards and starting their own scientific careers. I am honoured for the appointment in 2016 as Fellow of the IEEE “For contributions to micro and nano manufacturing technology”. In 2017 my lab was awarded an ERC AdvG in the field of advanced micro-manufacturing.
Marco BakkerMarco Bakker was born in Harlingen in the Netherlands and studied architecture at the TU in Delft with an intermediate year at the EPF in Lausanne. After assistances to Prof. Vincent Mangeat and Kaschka Knapkiewicz, Marco Bakker was from 2003 to 2009 teaching architecture in the Joint Master- Bern, Geneva and Fribourg. Together with Alexandre Blanc they started their office in 1992, first in Fribourg, then Biel and at the moment in Lausanne and Zurich under the name ‘BABL’. In 2009 Bakker & Blanc started to teach as invited professors at the EPF in Lausanne and since 2013 they share here as associate professors the Laboratory for Spatial Manufacturing, MANSLAB.
Luc PatinyExpertise
Cheminformatics, Data management, Data processing, Javascript developmentLast updated on April 16, 2023.
Teaching & PhD Courses Advanced general chemistry II CH-120 Fundamental knowledge on the reactivity of organic compounds and their identification by mass spectrometry, IR spectroscopy and nuclear magnetic resonance. Basic and advanced NMR - Level 1 A (EPFL) CH-601(x) Basic theoretical and experimental aspects of NMR will be taught. Students will be familarized w
Florian Karl RichterCurriculum vitae You can download my CV here
ResearchResearch Fields Ergodic Theory, Combinatorics, Number TheoryList of Publications Open-access preprints and e-prints of all my publications are freely available on arXiv ↗ .An inverse theorem for sumsets of sets of positive density in the integersEthan Ackelsberg, Florian K. Richter submitted, 117 pageslink ↗Weighted averages of arithmetic functions and applications to equidistributionVitaly Bergelson, Michael Reilly, Florian K. Richter submitted, 29 page
Giordano FaviExpertise
Research: Non associative Algebra, Category Theory, Triangulated Category Theory, Balmer-Witt Theory, Quadratic Forms in Characteristic 2, Galois Theory, Essential dimension, Tensor Triangular GeometryTeaching: Algebra (Associative, Linear, Commutative or not), Differential Calculus , Algebraic Geometry/Topology, etc.
Current work
Teaching: My current work at EPFL is half time dedicated to teaching mathematics for 1st year students. It is very important to give satisfactory introductory courses
Stefano MischlerStefano Mischler obtained the diploma in materials science in 1983 at the Swiss Federal Institute of Technology ETHZ in Zurich. He accomplished his PhD thesis in the field of surface analysis and corrosion at the Materials department of the Swiss Federal Institute of Technology EPFL in Lausanne in 1988. In the years 1989-1990 he held a postdoctoral position at the United Kingdom Atomic Energy Establishment in Harwell (Oxfordshire) where he developed novel quantification procedures for Auger Electron Spectroscopy and high lateral resolution surface analytical methods for fiber reinforced ceramics. In 1991 he joined the newly created Tribology group at the Laboratory for Metallurgical Chemistry of the EPFL where he developed research activities in the field of wear-corrosion interactions (tribocorrosion) and of tribological coatings. He is currently head of the tribology group and is developing a reserach and training activity devoted to modern aspects of tribology and surface science and technology, including surface chemical effects in tribology, biotribology and biocorrosion, tribology in microfabrication processes and wear protection methods. In 2006 he spent a sabbatical leave of 3 months at the Tokyo Medical and Dental University, Institute of Biomaterials.
Francesco StellacciFrancesco Stellacci graduated in Materials Engineering at the Politecnico di Milano in 1998 with a thesis on photochromic polymers with Prof. Giuseppe Zerbi and Mariacarla Gallazzi. In 1999 he moved to the Chemistry Department of the University of Arizona for as a post-doc in the group of Joe Perry in close collaboration with the group of Seth Marder. In 2002 he moved to the Department of Materials Science and Engineering at the Massachusetts Institute of Technology as an assistant professor. He was then promoted to associate without (2006) and with tenure (2009). In 2010 he moved to the Institute of Materials at EPFL as a full Professor. He holds the Alcan EP Chair. Francesco was one of the recipients of the Technology Review TR35 "35 Innovator under 35" award in 2005, and the Popular Science Magazine "Brilliant 10" award in 2007. He has been a Packard Fellow starting 2005.
Mohamed FarhatM. Farhat was born in Casablanca in 1962 (Moroccan citizen). He graduated at Ecole Nationale Supérieure d'Hydraulique et de Mécanique de Grenoble (France. He joined The LMH laboratory in 1986 as research assistant. He completed in 1994 a Ph.D. thesis on Cavitation. He joined the R&D department of Hydro-Quebec in Montréal (Canada) in 1995 where he was in charge of several research projects in the areas of production and transportation of hydropower and mainly the monitoring of large hydro turbines. Since 2001, he is senior scientist at the LMH laboratory, head of the cavitation group. He is also lecturer in Master and Doctoral programs. He is member of the Doctoral Committee in Mechanics.
Claudio BruschiniClaudio Bruschini holds an MSc in high energy physics from the University of Genova and a PhD in Applied Sciences from the Vrije Universiteit Brussel (VUB). He started his career with INFN (Italy, 1993), in the WA92 CERN collaboration (particle physics), and then moved to CERN as a Fellow in the European GP-MIMD2 project, attached to the NA48 collaboration (particle physics, parallel programming, 1994-1995). He then started his close collaboration with EPFL, first in the DeTeC (Demining Technology Center) project (sensors for landmine detection/humanitarian demining, 1996-1997). After DeTeC's end, he started the first of a series of fruitful collaborations with the Vrije Universiteit Brussel (VUB) on humanitarian demining related R&D (1998). This was followed by the EUDEM survey project (The European Union in Humanitarian Demining, 1998), the EUDEM2 three year EC sponsored support measure (www.eudem.info, 2001-2004), and the DELVE support action (www.delve.vub.ac.be, 2007). In parallel he started working within the EPFL's AQUA group (Advanced Quantum Architectures, Edoardo Charbon), on topics as diverse as ultrasonic sensors for in-air application, optical 3D and high speed 2D sensing, sensor networks, or tracking/motion capture systems, in particular for the preparation of research projects. This culminated in the European MEGAFRAME (www.megaframe.eu, FP6, 2006-2010, SPAD arrays and related in-pixel time stamping electronics in deep submicron CMOS technology) and SPADnet (www.spadnet.eu, FP7, 2010-2014, networked SPAD arrays for Positron Emission Tomography) projects, coordinated by EPFL-AQUA. As from 2009 he also worked with Dario Floreano on the management of the CURVACE Curved Artificial Compound Eyes FP7 project (www.curvace.org), coordinated by EPFL-LIS. He was also active with CHUV (Lausanne University Hospital) within EndoTOFPET-US (endoscopic PET) as well as on a CTI project devoted to the development of a new hand-held standalone tool for tracer-guided medical procedures. In 2014 he had also the pleasure of joining the EPFL ICLAB of Christian Enz during its ramp-up phase, collaborating on device related topics (SNF GigaRadMOST) and biomedical R&D (NanoTera WiseSkin). Claudio is now fully with EPFL’s Advanced Quantum Architecture (AQUA). He has also been active as independent scientific consultant, under the label CBR Scientific Consulting, on the preparation of (European) R&D project proposals and the execution of individual studies, and worked in 2006 for a local start-up as operations manager and R&D advisor.... but this is another story. An unauthorized early biography is available at http://lami.epfl.ch/team/claudiob/... Georges WagnièresGeorges Wagnières received his diploma degree (MSc) in physics from the University of Lausanne, Switzerland, in 1986. He obtained his doctorate in science (PhD) in physics (Biomedical optics) from the Swiss Federal Institute of Technology at Lausanne (EPFL) in 1992 and did a postdoctoral work in the Wellman Laboratories of Photomedicine (Harvard Medical School), Boston, USA, from 1993 to 1994. He also obtained a Master degree in Management of Technology delivered by the Ecole des Hautes Etudes Commerciales (HEC) of Lausanne University and the EPFL in 2001. Georges Wagnières manages a research group active in the fields of: - Detection of early superficial cancers by fluorescence imaging. - Characterization of early superficial cancers by high magnification narrow band imaging. - In vivo and in vitro measurement of the vascular and tissular oxygen concentration by time-resolved luminescence spectroscopy and imaging. - Preclinical and clinical study of new photosensitizers for photodynamic therapy (PDT). - Treatment of neurodegenerative conditions (Alzheimer, Parkinson's diseases) by photobiomodulation. - Preclinical and clinical photodynamic therapy of inflammatory bowel diseases and atheroscerotic plaque. - Improvement of the selective vascular extravasation of chemotherapeutic agents by PDT. - Monitoring the light dosimetry during PDT by fluorescence spectroscopy and imaging. - Monitoring laser treatments of the retina by reflectance imaging. - Light dosimetry and tissue optical spectroscopy. - Radiometry. - Development of light delivery systems for biomedical applications. Georges Wagnières is also co-founder and was chairman of one spin-off companies: - Medlight SA, founded in July 1997, which develops, produces and commercializes light distributors for photodynamic therapy. Georges Wagnières has currently authored more than 235 papers (more than 150 in international journals with review board) and is inventor of 18 patents. He supervised 12 PhD students up to now, and currently teaches biomedical optics and photomedicine in master programs and doctoral schools. In addition, he gives the course entitled "Physique Générale I" to biology first year students registered to the Biology School of the Lausanne's University. MAIN PUBLICATIONS Please visit: https://www.epfl.ch/labs/lifmet/wagnieres/publications/ 