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
Sergi Aguacil MorenoExpertise
- Architecture, energy, building physics and environment- Integration of innovation in buildings | Smart Living Lab- Managing complex projects- Linking research and practice | Research infrastructures- Integrating sustainability into architectural projects- Life cycle assessment and environmental impact studies- Integration of photovoltaic energy in buildings | Renovation and new construction projects | ActiveInterfaces- Multi-criteria studies and assessments
Education PhD in Architecture | A
Pavlos NikolopoulosTeaching & PhD Courses Advanced networks COM-407 This advanced course in computer networks offers an in-depth exploration of how the Internet is designed and operates. Students dive into the architecture of the Internet and gain hands-on understanding of the key protocols that power it.
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
Bastian MarzoliBastian Marzoli is a Swiss architect who graduated from EPFL in 2021. He is the co-founder of detritus., a multiple practice serving as an apparatus for his current endeavors: www.d.etrit.us.With pedagogical experience both inside and outside the academic world, he joined ALICE in 2023 as a studio director.Under the title «MORATORIUM.», his personal research revolves around an imaginative negotiation with pre-existing conditions, both social and spatial, to welcome thriving interactions. Professionals expe Luciano Nicolas AntoniettiExpertise
Architectural theoryType and typologySuburban territoryInterstitial landscapeRural and agricultural architecture
Co-founder - forme commune atelier d'architecture et paysageScientific Assistant - EAST EPFLResearcher - Rural and Agricultural Architecture Professionals experiences Co-founder - Architect 2023–2025 forme commune atelier d'architectureArchitect 2023–2024 Ville de Fribourg - Développement UrbainLead Architect 2021–2023 AFF ArchitectsArchitect 2019–2020 Capaul&Blumenthal Architects Ed
Jo François TaillieuTeaching & PhD PhD Students Julien Heil Courses Architectural Tomography AR-129 This course situates the act of drawing as an act of spatial, constructive and contextual investigation. It introduces 2-D sectional drawing as a sociotechnical tool in architecture with a fundamental role in measuring, understanding and imagining complex and situated spatial conditions. Studio BA3 (Taillieu) AR-201(m) A house is the simple topic of this studio. A matter of simple complexity.
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
Sébastien Jean Robert DoeraeneExpertise
Language design, compilers, virtual machines.Pedagogy in computer science.
Current Work
Scala.js, the dialect of Scala for JavaScript and WebAssembly
Sébastien Doeraene is a compiler/runtime systems hacker and a Scala enthusiast. Best known as the author of Scala.js, he is now lecturer at EPFL. He holds a PhD from EPFL, having worked under the supervision of Prof. Martin Odersky, and a master's degree in computer science engineering from Université catholique de Louvain in Belgium. When he is not
Maria BrbicMaria Brbic is an assistant professor in computer science at EPFL. Prior to joining EPFL, Maria was a postdoctoral researcher in Computer Science at Stanford University working with Jure Leskovec. She received her PhD degree from University of Zagreb in 2019, while also researching at Stanford University and University of Tokyo. Her research was awarded with the Fulbright Scholarship, L’Oreal UNESCO for Women in Science Scholarship, Branimir Jernej award for outstanding publication in biology and biomedicine, and Josip Loncar Silver Plaque award for the best doctoral dissertation. She has been named a Rising Star in EECS by MIT in 2021. Her research is focused on developing new machine learning methods and applying her methods to advance biomedical research.
Bruno Emanuel Ferreira De Sousa CorreiaThroughout my PhD and postdoctoral studies I was trained in world-renowned laboratories and institutions in the United States of America (University of Washington and The Scripps Research Institute). Very early in my scientific career I found out my fascination about protein structure and function. My PhD studies evolved in the direction of immunogen design and vaccine engineering which sparked my interest in the many needs and opportunities in vaccinology and translational research. My efforts resulted in an enlightening piece of work where for the first time, computationally designed immunogens elicited potent neutralizing antibodies. During my postdoctoral studies I joined a chemical biology laboratory at the Scripps Research Institute. In this stage I developed novel chemoproteomics methods for the identification of protein-small molecule interaction sites in complex proteomes. In March 2015, I joined the École Polytechnique Fédérale de Lausanne (EPFL) – Switzerland as a tenure track assistant professor. The focus of my research group is to develop computational tools for protein design with particular emphasis in applying these strategies to immunoengineering (e.g. vaccine and cancer immunotherapy). The activities in my laboratory focus on computational design methods development and experimental characterization of the designed proteins. Our laboratory has been awarded with 2 prestigious research grants from the European Research Council. Lastly, I have been awarded the prize for best teacher of Life sciences in 2019.
Bárbara Maçães E CostaExpertise
Drawing and cartographyModern environmental history and aestheticsLandscape architecture
Bárbara Maçães Costa is an architect and academic. She studied Architecture at the University of Porto, Drawing at the University of Lisbon, and holds a PhD in Architecture and Sciences of the City from the EPFL. Outside of academia, she works primarily in the fields of landscape and urbanism. Her teaching and research cover these disciplines, with a particular interest in cartography and modern environmental
Paolo TombesiTeaching & PhD PhD Students Martin Peikert, Chloé Lucie Joly-Pottuz Courses Political economy of design AR-485 Political Economy of Design (PED) seeks to position and discuss architecture in relation to the world of production, economic interests and community benefits or decisions, at a local and global scale. Studio BA5 (FAR) AR-301(j) The design studio deals with a Women's Centre located in Wau, South Sudan. It is part of a two-semester program focused on the theme of ar
