Simon GuilloudExpertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
Expertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
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
Technologies de conception pour les systèmes intégrés, tels que la synthèse, le codesign de HW/SW et la conception de basse puissance. Technologies de conception des systèmes sur les plateformes hétérogènes comprenant les composants électriques, et biologiques.
En savoir plus
Consulter svp http://si2.epfl.ch/~demichel/
Enseignement et PhD A dirigé les thèses EPFL de Abhishek Garg, Mohamed Haykel Ben Jamaa, Francesco Zanini, Ciprian Seiculescu, Cristina Boero, Hu Xu, Andrea Cavallini, Shashi Kanth Stephan MorgenthalerEDUCATION
Ph.D., Statistics, Princeton University, Princeton, 1983
Diplôme, Mathématiques, Ecole polytechnique fédérale de Zurich, 1979
CARRIÈRE ACADEMIQUE
Professeur de statistique appliquée, EPFL, 1991-présent
Professeur extraordinaire, statistique appliquée, EPFL, 1988-1991
Professeur associé, statistique, Yale University, 1987-1988
Professeur assistant, statistique, Yale University, 1984-1987
Instructor, mathématiques, 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 star
Luc PatinyExpertise
Cheminformatics, Data management, Data processing, Javascript developmentLast updated on April 16, 2023.
GitHub
https://github.com/lpatiny
Enseignement et PhD Cours Analyse structurale (pour SFU) UNIL-129 Acquisition des notions fondamentales liées à l'identification de la structure de petites molécules organiques au moyen des techniques de spectrométrie de masse, spectroscopie infra-rouge et résonance magnétique nucléaire. Basic and advanced NMR - Level 1 A (EPFL) CH-60 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.
Travail en cours
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 cou
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 a obtenu son diplôme (MSc) en physique à l'Université de Lausanne, Suisse, en 1986. Il a reçu son doctorat ès science (PhD) en physique (Optique Biomédicale) de l'Ecole Polytechnique Fédérale de Lausanne (EPFL) en 1992, et a effectué un travail de postdoctorat dans les "Wellman Laboratories of Photomedicine" (Harvard Medical School) situés à Boston, MA, USA, en 1993 et 1994. Il a aussi obtenu, en 2001, un "Master in management of technology" délivré par l'Ecole des Hautes Etudes Commerciales (HEC) de l'Université de Lausanne et l'EPFL. Depuis 1994, il gère un groupe de recherche de l'EPFL actif dans les domaines suivants: - Caractérisation et détection de lésions cancéreuses par spectroscopie et imagerie de fluorescence ainsi que par imagerie à fort grossissement. - Traitement du cancer ainsi que d'autres pathologies associées à des désordres immunologiques (maladie de Crohn, Colite ulcéreuse) ou vasculaires par thérapie photodynamique (PDT). - Développement préclinique et clinique de photosensibilisateurs, de marqueurs fluorescents et d'instruments optiques pour le photodiagnostic. - Traitement de diverses pathologies, y compris les maladies neuro-dégénératives (Parkinson, Alzheimer), par photobiomodulation. - Monitorage de la dose optique pour la PDT basée sur l'imagerie de fluorescence de photosensibilisateurs. - Induction de l'extravasation d'agent chimiothérapeutiques par PDT. - Mesure in vivo de la concentration d'oxygène dans des tissus biologiques par spectroscopie et imagerie optiques résolues en temps. - Monitorage d'un traitement au laser de la rétine par imagerie de reflectance. - Développement de distributeurs de lumière pour des applications biomédicales. - Dosimétrie de lumière / Radiométrie. - Spectroscopie et imagerie en optique biomédicale. Georges Wagnières est aussi co-fondateur et a présidé une société "spin-off" de l'EPFL: - Medlight SA, fondée en 1997, qui développe, produit et commercialise des distributeurs de lumière pour la thérapie photodynamique. Georges Wagnières est l'auteur et co-auteur de plus de 235 articles scientifiques dont 150 ont été publiés dans des revues internationales ayant un comité de relecture (review board). De plus, il est inventeur de 18 brevets. Finalement, il supervise ou a supervisé 12 doctorants et enseigne actuellement à l'EPFL l'optique biomédicale et la photomédecine au niveaux "master". Ces cours sont aussi donnés à l'Ecole doctorale (EDCH, EDSV) de l'EPFL. Finalement, il donne le cours intitulé "Physique Générale I" aux biologistes de première année inscrits à l'Ecole de Biologie de l'Université de Lausanne. PUBLICATIONS PRINCIPALES: SVP visiter: https://www.epfl.ch/labs/lifmet/wagnieres/publications/ 