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
Edoardo CharbonEdoardo Charbon (SM’00 F’17) received the Elektrotechnik Diploma from ETH Zurich, the M.S. from the University of California at San Diego, and the Ph.D. from the University of California at Berkeley in 1988, 1991, and 1995, respectively, all in electrical engineering and EECS. He has consulted with numerous organizations, including Bosch, X-Fab, Texas Instruments, Maxim, Sony, Agilent, and the Carlyle Group. He was with Cadence Design Systems from 1995 to 2000, where he was the architect of the company's initiative on information hiding for intellectual property protection. In 2000, he joined Canesta Inc., as the Chief Architect, where he led the development of wireless 3-D CMOS image sensors. Since 2002 he has been a member of the faculty of EPFL, where is a full professor since 2015. From 2008 to 2016 he was full professor and chair at the Delft University of Technology, where he spearheaded the university's effort on cryogenic electronics for quantum computing as part of QuTech. He has been the driving force behind the creation of deep-submicron CMOS SPAD technology, which is mass-produced since 2015 and is present in smartphones, telemeters, proximity sensors, and medical diagnostics tools. His interests span from 3-D vision, LiDAR, FLIM, FCS, NIROT to super-resolution microscopy, time-resolved Raman spectroscopy, and cryo-CMOS circuits and systems for quantum computing. He has authored or co-authored over 400 papers and two books, and he holds 23 patents. Dr. Charbon is a distinguished visiting scholar of the W. M. Keck Institute for Space at Caltech, a fellow of the Kavli Institute of Nanoscience Delft, a distinguished lecturer of the IEEE Photonics Society, and a fellow of the IEEE.
Cédric MeinenTeaching & PhD Courses Electrical systems and electronics I EE-295 The course has the aim to provide the fundamental knowledge and experiences to understand basic electrical systems. Electrical systems and electronics II EE-296 The basic concepts enabling to understand and analysis the electronic systems dedicated to signals acquisition and processing (e.g. biosensors, physiological signals, ECG) are addressed. This includes the acquisition, amplification and filtering. El
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.
Simon Nessim HeneinBorn in 1973 and of Egyptian-Swiss nationality, Simon Henein grew up in Cairo. He obtained an engineering degree at the Ecole Polytechnique Fédérale de Lausanne (EPFL) in 1996 and went on to complete his doctorate at the EPFL in 2000. In 2001, he published the book “Conception des guidages flexibles” which has become a reference in precision engineering. He then joined the Centre Suisse d’Electronique et Microtechnique (CSEM), Neuchatel, Switzerland, where he conceived and developed mechanisms for robotic, aerospace, medical and watchmaking applications. He pursued his research career at the Paul Scherrer Institute, Villigen, Switzerland, where he developed instruments for the Swiss Light Source Synchrotron (SLS). Since November 1st, 2012, he is associate professor in microengineering at the EPFL, holder of the Patek Philippe Chair and director of the Micromechanical and horological design laboratory (Instant-Lab).
Jean-Michel SalleseExpertise
- Modeling of field effect transistors (Multigate FETs, Junctionless FET, HEMT, Field Effect-based Biosensors).- Modeling substrate parasitic currents in integrated circuits.- Simulation of radiation induced soft errors in integrated circuits- High energy particle solid-state sensors.
Mission
The mission of the Electron Device Modeling and Technology group is to develop analytical and numerical models (physics based) of emerging semiconductor devices, with particular emphasis on field effect trans
Wulfram GerstnerWulfram Gerstner is Director of the Laboratory of Computational Neuroscience LCN at the EPFL. His research in computational neuroscience concentrates on models of spiking neurons and spike-timing dependent plasticity, on the problem of neuronal coding in single neurons and populations, as well as on the link between biologically plausible learning rules and behavioral manifestations of learning. He teaches courses for Physicists, Computer Scientists, Mathematicians, and Life Scientists at the EPFL. After studies of Physics in Tübingen and at the Ludwig-Maximilians-University Munich (Master 1989), Wulfram Gerstner spent a year as a visiting researcher in Berkeley. He received his PhD in theoretical physics from the Technical University Munich in 1993 with a thesis on associative memory and dynamics in networks of spiking neurons. After short postdoctoral stays at Brandeis University and the Technical University of Munich, he joined the EPFL in 1996 as assistant professor. Promoted to Associate Professor with tenure in February 2001, he is since August 2006 a full professor with double appointment in the School of Computer and Communication Sciences and the School of Life Sciences. Wulfram Gerstner has been invited speaker at numerous international conferences and workshops. He has served on the editorial board of the Journal of Neuroscience, Network: Computation in Neural Systems', Journal of Computational Neuroscience', and `Science'.
Jérôme ChenalExpertise
Urban DesignUrban PlanningUrban ManagementPublic SpaceHousingDevelopment StudiesVisual Anthropology
Mission
Director of CEAT Director of Excellence in Africa Center Affiliate professor at UM6P
Teaching & PhD Past EPFL PhD Students Stéphanie Hasler, Rémi Jaligot, Armel Firmin Kemajou Mbianda, Martí Bosch Padrós, Andrea Salmi, Vitor Pessoa Colombo, Akuto Akpedze Konou, Rim Mrani Past EPFL PhD Students as codirector Marc Antoine Messer, Alexandre Rigal Courses Urban planning in the South PE
Show more