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.
Jan Sickmann HesthavenProf. Hesthaven received an M.Sc. in computational physics from the Technical University of Denmark (DTU) in August 1991. During the studies, the last 6 months of 1989 was spend at JET, the european fusion laboratory in Culham, UK. Following graduation, he was awarded a 3 year fellowship to begin work towards a Ph.D. at Riso National Laboratory in the Department of Optics and Fluid Dynamics. During the 3 years of study, the academic year of 1993-1994 was spend in the Division of Applied Mathematics at Brown University and three 3 months during the summer of 1994 in Department of Mathematics and Statistics at University of New Mexico. In August 1995, he recieved a Ph.D. in Numerical Analysis from the Institute of Mathematical Modelling (DTU). Following graduation in August 1995, he was awarded an NSF Postdoctoral Fellowship in Advanced Scientific Computing and was approinted Visiting Assistant Professor in the Division of Applied Mathematics at Brown University. In December of 1996, he was appointed consultant to the Institute of Computer Applications in Science and Engineering(ICASE) at NASA Langley Research Center (NASA LaRC). As of July 1999, he was appointed Assistant Professor of Applied Mathematics, in September 2000 he was awarded an Alfred P. Sloan Fellowship, as of July 2001 he was awarded a Manning Assistant Professorship, and in March 2002, he was awarded an NSF Career Award. In January 2003, he was promoted to Associate Professor of Applied Mathematics with tenure and in May 2004 he was awarded Philip J. Bray Award for Excellence in Teaching in the Sciences (the highest award given for teaching excellence in all sciences at Brown University). He was promoted to Professor of Applied Mathematics as of July 2005. From October 2006 to June 2013, he was the Founding Director of the Center for Computation and Visualization (CCV) at Brown University. As of October 2007, he holds the (honorary) title of Professor (Adjunct) at the Technical University of Denmark. In November 2009, he successfully defended his dr.techn thesis at the Technical University of Denmark and was rewarded the degree of Doctor Technices -- the highest academic distinction awarded based on ... substantial and lasting contributions that has helped to move the research area forward and penetrated into applications. As grant Co-PI he served from Aug 2010 to June 2013 as Deputy Director of the Institute of Computational and Experimental Research in Mathematics (ICERM), the newest NSF Mathematical Sciences Research Institute. After having spend his entire academic career at Brown University, Prof Hesthaven decided to pursue new challenges and joined the Mathematics Institute of Computational Science and Engineering (MATHICSE) at Ecole Polytechnique Fédérale de Lausanne (EPFL) in Switzerland in July 2013. In March 2014 he was elected SIAM Fellow for contributions to high-order methods for partial differential equations.
James Richard LarusEnseignement et PhD A dirigé les thèses EPFL de Stuart Anthony Byma, David Teksen Aksun, Sahand Kashani A co-dirigé les thèses EPFL de Adrien Ghosn, Seyedmahyar Emami
Florian Lucas JatonFlorian Jaton is a researcher and lecturer at EPFL (College of Humanities) and at the University of Lausanne (Faculty of Social and Political Sciences). He previously worked at the Donald Bren School of Information and Computer Science at the University of California, at the Centre de sociologie de l'innovation at Mines Paris, and at the Geneva Graduate Institute of International and Development Studies. His research interests are the sociology of algorithms, the philosophy of mathematics, and the history o
Jean-Paul Richard KneibEnseignement et PhD Doctorant·es actuel·les Oliver Pineda Suarez, Robert Daniel Kincaid, Ethan Daniel Tregidga, Belén Yu Irureta-Goyena Chang, Elisabeth Andréa Cécile Rachith, Shengyu He, Aurélien Thomas Mathieu Verdier, Timour Jestin A dirigé les thèses EPFL de Markus Rexroth, Luzius Gregor Kronig, Christoph Ernst René Schäfer, Vasileios Angelopoulos, Michaël Juillard, Amélie Tamone, Andrei Variu, Yoan Rappaz, Anne-Marlene Rüede, Jiaxi Yu, Daniel Felipe Forero Sanchez, Beauchesne Benjamin Emmanuel Nicola
Berend SmitEnseignement et PhD Doctorant·es actuel·les Anastasia Blokhina, Raluca-Ana Kessler, Seyed Amirmohammad Elahi, Juliette Veronique Schleicher, Yutao Li, Xin Jin, Sara Bassetta, Beatriz Bueno Mouriño A dirigé les thèses EPFL de Samantha Lynn Anderson, Daniele Ongari, Andrzej Gladysiak, Seyedmohamad Moosavi, Arunraj Chidambaram, Bardiya Valizadeh, Stavroula Kampouri, Fatmah Ebrahim, Fatma Pelin Uran, Andres Adolfo Ortega Guerrero, Kevin Maik Jablonka, Elias Moubarak, Sauradeep Majumdar, Miriam Jasmin Pougin,
Johanni Michael BreaEnseignement et PhD Doctorant·es actuel·les Aude Maier, Lucas Louis Gruaz, Flavio Martinelli Cours Biological data science II : machine learning BIO-322 Les étudiants comprennent les concepts et méthodes de base d'apprentissage automatique. Ils savent les décrire en termes mathématiques et ils savent les appliquer aux données en utilisant un langage de haut niveau (julia/python/R). Intelligence artificielle et société HUM-286 Ce cours intègre les SHS avec les sciences de l'
Andreas PautzEnseignement et PhD Doctorant·es actuel·les Sofia Portolan, Michel Saliba, Bishal Torrente, Alexis Paul Boris Claude Dupont-Bembinoff, Cynthia Camila Güttlein A dirigé les thèses EPFL de Ting Zhu, Vladimir Vladimirov Brankov, Boris Aviv Hombourger, Damar Canggih Wicaksono, Petra Mala, Adolfo Rais, Valentyn Bykov, Daniel Jerôme Siefman, Evgeny Nikitin, Dionysios Chionis, Oskari Ville Pakari, Friederike Bostelmann, Jiani Gao, Efstathios Vlassopoulos, Alessandro Scolaro, Stefan Radman, Alexander Aures, Lubom
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.
Fabrizio SossanExpertise
Mathematical Modelling, Forecasting and Optimization for Power System Applications
Enseignement et PhD Doctorant·es actuel·les Keyu Jia A co-dirigé les thèses EPFL de Yihui Zuo, Mohsen Kalantar Neyestanaki, Rahul Kumar Gupta Cours Energy storage systems EE-466 Ce cours présente les principales technologies de stockage d'énergie, leurs attributs, leurs modèles mathématiques et leurs applications (stationnaires et mobiles), de la conception à l'exploitation et au contrôle, avec un
Mathieu HuruguenEnseignement et PhD Cours Algèbre linéaire (pour CMS) PREPA-001 Dans la première partie du cours on couvre des notions de langage ensembliste et de logique élémentaire. Dans la deuxième partie, le but est de familiariser les étudiants avec les notions fondamentales de l'algèbre linéaire à travers leur étude géométrique en dimension 2. Algèbre linéaire et géométrie (pour MAN) PREPA-032(a) On présente les notions fondamentales de l'algèbre linéaire dans le contexte géométrique
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
Stefano Francesco BurzioExpertise
Analyse et modélisation des phénomènes naturels non linéaires. équations aux différentielles partielles hyperboliques. Méthodes des éléments finis.
Enseignement et PhD Cours Dynamic finite element analysis of structures ME-473 Le cours présente l'analyse numérique des structures en trois dimensions en utilisant la méthode des éléments finis dans le cadre de l'élasticité linéaire. Les étudiants acquerront une maîtrise des techniques numériques les plus couramment utilisées en dynami
Bryan Alexander FordEnseignement et PhD Doctorant·es actuel·les Shailesh Mishra A dirigé les thèses EPFL de Eleftherios Kokoris Kogias, Kirill Nikitin, Cristina Basescu, Enis Ceyhun Alp, Simone Colombo, Pasindu Nivanthaka Tennage, Louis-Henri Manuel Jakob Merino A co-dirigé les thèses EPFL de David Froelicher, Ludovic Barman, Georgia Fragkouli Cours Decentralized systems engineering CS-438 Un système est décentralisé lorsque son fonctionnement et sa sécurité ne dépendent d'aucune partie. Ce cours enseigne les
Romain GuietExpertise
Development of BioImage Analysis workflows and algorithms to extract quantitative data from microscopy images.BioSample Preparation : in vitro cell, organoid, time-lapse, fixation, staining strategies, actin, mitochondria, fluorescent protein expressionBioImage Acquisition : Widefield, Confocal, Whole Slide Imaging, Super-resolution (SIM, STORM, STED), FRET, FRAP, FLIMBioImage Analysis: Colocalisation analysis, Deconvolution, Time-lapse , Whole Slide ImagingTools & Software: ImageJ/Fiji, QuPath, i
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.
