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
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 Clément Pit-ClaudelTeaching & PhD PhD Students Yawen Guan, Kacper Feliks Korban, Can Cebeci, Alexandre Pinazza, Shardul Chiplunkar Courses Interactive Theorem Proving Project CS-642 A project-focused introduction to interactive theorem proving. Interactive theorem proving CS-428 A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.Come learn how to write computer-checked proofs an
Serge VaudenaySerge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.
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.
James Richard LarusExpertise
James Larus is a Professor Emeritus and former Dean of the School of Computer and Communication Sciences (IC) at EPFL (école Polytechnique Fédérale de Lausanne). Before joining IC in October 2013, Larus was a researcher, manager, and director in Microsoft Research for over 16 years and an Assistant and Associate Professor in the Computer Sciences Department at the University of Wisconsin, Madison.Larus has been an active contributor to numerous communities. He published over 100 papers (with 14 be
Edouard BugnionEdouard Bugnion joined EPFL in 2012, where his focus is on datacenter systems. His areas of interest include operating systems, datacenter infrastructure (systems and networking), and computer architecture. Before joining EPFL, Edouard spent 18 years in the US, where he studied at Stanford and co-founded two startups: VMware and Nuova Systems (acquired by Cisco). At VMware from 1998 until 2005, he played many roles including CTO. At Nuova/Cisco from 2005 until 2011, he helped build the core engineering team and became the VP/CTO of Ciscos Server, Access, and Virtualization Technology Group, a group that brought to market Ciscos Unified Computing System (UCS) platform for virtualized datacenters. Prof. Bugnion is a Fellow of the ACM. Together with his colleagues, he received the ACM Software System Award for VMware 1.0 in 2009. His paper Disco: Running Commodity Operating Systems on Scalable Multiprocessors" received a Best Paper Award at SOSP '97 and was entered into the ACM SIGOPS Hall of Fame Award in 2008. At EPFL, he received the OSDI 2014 Best Paper Award for his work on the IX dataplane operating system
Marco MattavelliTeaching & PhD Past EPFL PhD Students Christophe Clerc, Ruohua Zhou, Beilu Shao, Christophe Lucarz, Richard Thavot, Ab Al Hadi Bin Ab Rahman, Endri Bezati, Simone Casale Brunet, Malgorzata Michalska, Ana Angelica Hernandez Lopez, Aurélien Bloch, Mustafa Besirli, Ünsal Öztürk Past EPFL PhD Students as codirector Sylvain Aguirre Courses Systems and architectures for signal processing EE-555 Study of the essential components and implementation technologies of digital signal processing and commu
Eugen Brühwilerbirth date: 19.11.1958 nationality: Swiss (native from Dussnang, Canton of Thurgau) Education : - July 1988 : doctoral degree from the Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland with a thesis entitled Fracture mechanics of dam concrete subjected to quasi-static and seismic loading conditions - December 1983 : civil engineering diploma (university degree) from the Swiss Federal Institute of Technology (ETH) in Zurich, Switzerland Professional Experience : - Since 1st April 1995 : Professor of Structural Engineering at EPFL and Head of the Laboratory of Maintenance, Construction and Safety for Civil Structures (MCS) (often considered being the first chair worldwide devoted exclusively to existing civil structures). - 1991-94 Project Manager and structural engineer with the Swiss Federal Railways (SBB), Division of Bridges and Structures, Zurich: Monitoring and maintenance of bridges and structures, Project manager and checking engineer for the construction of new bridges and rehabilitation of existing bridges. - 1989/90 Research associate at the Department of Civil Engineering, University of Colorado, Boulder, USA : Fracture mechanics of concrete and fracture of concrete dams. - 1986-88 Doctoral student at EPFL-LMC (Building Materials, Prof. Wittmann) : Fracture mechanics of concrete, fracture of concrete dams under seismic loading - 1984/85 Research engineer at EPFL-ICOM (Steel Structures, Prof. Badoux and Prof. Hirt) : Fatigue behaviour and fracture mechanics of riveted bridges
Ayatallah Ahmed Gamal Kamal ElakhrasExpertise
Dataflow ArchitectureHigh-Level Synthesis
Ayatallah is a Ph.D. student in the Processor Architecture Laboratory, advised by Professor Paolo Ienne. Between October 2023 and March 2024, she did an internship at AMD in the Research and Advanced Development team, under the supervision of Dr. Kristof Denolf. She received a B.Sc. degree in Computer Engineering from the American University in Cairo, Egypt in 2020 and started her Ph.D. in the same year.Her research interests include dataflow architecture,
Babak FalsafiBabak is a Professor in the School of Computer and Communication Sciences and the founding director of the EcoCloud, an industrial/academic consortium at EPFL investigating scalable data-centric technologies. He has made numerous contributions to computer system design and evaluation including a scalable multiprocessor architecture which was prototyped by Sun Microsystems (now Oracle), snoop filters and memory streaming technologies that are incorporated into IBM BlueGene/P and Q and ARM cores, and computer system performance evaluation methodologies that have been in use by AMD, HP and Google PerKit . He has shown that hardware memory consistency models are neither necessary (in the 90's) nor sufficient (a decade later) to achieve high performance in multiprocessor systems. These results eventually led to fence speculation in modern microprocessors. His latest work on workload-optimized server processors laid the foundation for the first generation of Cavium ARM server CPUs, ThunderX. He is a recipient of an NSF CAREER award, IBM Faculty Partnership Awards, and an Alfred P. Sloan Research Fellowship. He is a fellow of IEEE and ACM.
Farhad Rachidi-HaeriFarhad Rachidi (IEEE Fellow, EMP Fellow, Electromagnetics Academy Fellow) was born in Geneva in 1962. He received the M.S. degree in electrical engineering and the Ph.D. degree from the Swiss Federal Institute of Technology, Lausanne, in 1986 and 1991 respectively.
He worked at the Power Systems Laboratory of the same institute until 1996 and had several short stays at the University of Florida and the NASA Kennedy Space Center. In 1997, he joined the Lightning Research Laboratory of the University of Toronto in Canada and from April 1998 until September 1999, he was with Montena EMC in Switzerland. He is currently a titular professor and the head of the EMC Laboratory at the Swiss Federal Institute of Technology, Lausanne, Switzerland.
His research interests concern electromagnetic compatibility, lightning electromagnetics and electromagnetic field interactions with transmission lines.
Dr. Rachidi is currently a member of the Advisory Board of the IEEE TRANSACTIONS ON ELECTROMAGNETIC COMPATIBILITY and the President of the Swiss National Committee of the International Union of Radio Science.
He has received numerous awards including the 2005 IEEE EMC Technical Achievement Award, the 2005 CIGRE Technical Committee Award, the 2006 Blondel Medal from the French Association of Electrical Engineering, Electronics, Information Technology and Communication (SEE), the 2016 Berger Award from the International Conference on Lightning Protection, the 2016 Best Paper Award of the IEEE Transactions on EMC, and the 2017 Motohisa Kanda Award for the most cited paper of the IEEE Transactions on EMC (2012-2016).
In 2014, he was conferred the title of Honorary Professor of the Xi’an Jiaotong University in China.
He served as the Vice-Chair of the European COST Action on the Physics of Lightning Flash and its Effects from 2005 to 2009, the Chairman of the 2008 European Electromagnetics International Symposium, the President of the International Conference on Lightning Protection from 2008 to 2014, the Editor-in-Chief of the Open Atmospheric Science Journal (2010-2012) and the Editor-in-Chief of the IEEE TRANSACTIONS ON ELECTROMAGNETIC COMPATIBILITY from 2013 to 2015. He is a Fellow of the IEEE and of the SUMMA Foundation, and a member of the Swiss Academy of Sciences.
He is the author or coauthor of over 200 scientific papers published in peer-reviewed journals and over 400 papers presented at international conferences.
Martin OderskyMartin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET.
Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.
