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
Angela Ingrid RentonExpertise
Visual perceptionAttentionPredictionDecision-makingM/EEGClosed-loop neuroimagingOpen & reproducible science
Mission
Angela Renton completed her PhD in 2022 at under the supervision of Prof. Jason Mattingley, at The University of Queensland, Australia. Her PhD investigated the development of novel neurofeedback and closed-loop research methods to causally investigate the neural mechanisms of visual perception. As a postdoctoral research fellow, she has expanded on this work, working on real-time ne
Volker GassFonction
Directeur, Initiatives Stratégiques - VPI
Enseignement et PhD A dirigé les thèses EPFL de Camille Sébastien Pirat, Florian Thibaut Gallien, Maxime Auchlin, Timothée Robert Sophus Frei, Tatiana Maillard
Mats Julius StensrudEnseignement et PhD Doctorant·es actuel·les Ignacio Gonzalez Perez, Gellért Géza Perényi, Lorenzo Gasparollo, Julien David Laurendeau A dirigé les thèses EPFL de Matias Janvin, Amit Sawant Cours Causal thinking MATH-352 Ce cours donnera une présentation unifiée des méthodes modernes d'inférence causale. Nous nous concentrons sur les concepts, et nous présenterons des exemples et des idées provenant de diverses disciplines scientifiques, notamment la médecine, l'informatique, l'ingénierie,
Patrick ThiranPatrick Thiran is a full professor in network and systems theory at the School of Computer and Communication Sciences at EPFL. He holds an electrical engineering degree from the Université Catholique de Louvain, Louvain-la-Neuve, Belgium, an M.Sc. degree in electrical engineering from the University of California at Berkeley, USA, and he received the PhD degree from EPFL, in 1996. He became an adjunct professor in 1998, an assistant professor in 2002, an associate professor in 2006 and a full professor in 2011. He was with Sprint Advanced Technology Labs in Burlingame, California, in 2000-01.
His research interests are in communication and social networks, performance analysis and stochastic models. He is currently active in the analysis and design of wireless and PLC networks (scaling laws, medium access control), in network monitoring (network tomography, multi-layer networks), and data-driven network science. He also contributed to network calculus and to the theory of locally coupled neural networks and self-organizing maps.
He served as an associate editor for the IEEE Transactions on Circuits and Systems in 1997-99 and for the IEEE/ACM Transactions on Networking in 2006-10. He is currently on the editorial board of the IEEE Journal on Selected Areas in Communication. He is/was on the program committee of different conferences in networking, including ACM Sigcomm, Sigmetrics, IMC, CoNext and IEEE Infocom. He was TPC chair of AMC IMC 2011 and CoNext 2012. He is a Fellow of the Belgian American Educational Foundation and of the IEEE. He received the 1996 EPFL Doctoral Prize and the 2008 Crédit Suisse Teaching Award.
Linda MarchandEnseignement et PhD Cours Applied statistics MATH-516 Le cours présente un aperçu des défis quotidiens en statistique appliquée à travers des problèmes réels. Les étudiants vont utiliser les méthodes statistiques basiques et modernes, pour proposer des solutions reproductibles aux problèmes présentés. Bioinformatic Analysis of RNA-sequencing (Fall) BIO-693(a) Due to its success, this course will take place from 1st to 5th September 2025 in room AAC 0 20.It introduces the work
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.
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
