Sayan BiswasExpertise
Decentralized Learning; Federated Learning; Ethical ML focusing on Privacy, Fairness, and Personalization; Location Privacy.
I am a Postdoctoral Researcher at the SaCS lab at EPFL. I completed my PhD in Computer Science from INRIA and école Polytechnique in France, under the supervision of Catuscia Palamidessi. Previously, I have been a Visiting Scholar at the School of Computing at Macquarie University in Sydney, Australia, collaborating with Annabelle McIiver and Natasha Fernandes, and at WMG, t
Thomas Georges Pierre VidickEnseignement et PhD Doctorant·es actuel·les Itammar Steinberg, Aviv Taller Cours Formal Mathematics with Lean and AI CS-643 Introduction to quantum computation CS-308 Ce cours introduit le paradigme du calcul quantique de facon axiomatique. Le cours introduit les notions de bit quantique, portes logiques et circuits quantiques, traite les principaux algorithmes quantiques, et les codes correcteurs. Le cours est indépendant de COM-309. Introduction to quantum cryptography
Laura GrigoriExpertise
Numerical linear algebra, deterministic and randomized algorithmsHigh performance computing for scientific applicationsHigh dimensional problems and tensor computationsCombinatorial scientific computingMathematical Software
Enseignement et PhD Doctorant·es actuel·les Israa Fakih, Zhipeng Xue, Andrea Di Antonio, Mariana Graciela Martinez Aguilar, Guifré Sánchez i Serra Cours Numerical analysis and computational mathematics MATH-456 Ce cours offre une introduction au calcul scienti
Keivan Faghih NiresiExpertise
Computational sensing/imaging, Inverse problems, Signal processing, Graph neural networks, Domain adaptation.
Keivan is a PhD student at école Polytechnique Fédérale de Lausanne (EPFL). He joined the Intelligent Maintenance and Operations Systems (IMOS) Lab under the supervision of Prof. Olga Fink in February 2023.Prior to joining EPFL, he obtained his master's degree from the Institute of Communications Engineering, College of Electrical Engineering and Computer Science, National Tsing Hua Univer
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
Simon Elias BibriExpertise
• Sustainable cities• Smarter eco-cities• Sustainable smart cities• Artificial Intelligence of Things (AIoT) • Generative Artificial Intelligence of Things (GAIoT)• Foundation Models (FMs) • Quantum Generative Artificial Intelligence (QGAI)• Urban Digital Twins (UDTs)• Urban Brain (UB) • Smart Circular Metabolism• Urban planning and design• Environmental sustainability and climate resilience• Sustainable smart energy• Sustainable smart transportation• Sustainable smart waste and water management•
Olga FinkEnseignement et PhD Doctorant·es actuel·les Han Sun, Leandro Von Krannichfeldt, Keivan Faghih Niresi, Zepeng Zhang, Vinay Sharma, Chenghao Xu, Raffael Pascal Theiler, Kevin Antonio Steiner, Sergei Garmaev, Amaury Wei A dirigé les thèses EPFL de Ismail Nejjar, Mengjie Zhao Cours Data Science for infrastructure condition monitoring CIVIL-332 Le cours couvrira les étapes pertinentes de la surveillance de l'état des infrastructures basée sur les données: l'acquisition des données, en passant p
Manuel Sebastian RudolphExpertise
Computational quantum physicsQuantum algorithmsQuantum machine learningGenerative modeling
Manuel is a PhD Candidate at EPFL in the group of Prof. Zoë Holmes, where he focuses on the numerical simulation of quantum computers. Together with his collaborators, he studies which properties make quantum circuits easy or hard to simulate classically, and how efficient classical simulability is connected to the barren plateau phenomenon. Manuel develops high-performance quantum simulation software and is
Stefana ParaschoEnseignement et PhD Doctorant·es actuel·les Jingwen Wang, Gabriel Vallat, Maxence Grangeot, Eleni Maria Skevaki, Wenqian Yang, Megi Sinani Cours Capitalizing on Uncertainty AR-809 Digital design and making: A critical introduction AR-503 Le cours présente des méthodes de conception et de fabrication numériques en combinant des compétences techniques avec des connaissances théoriques et une réflexion critique. Les sujets incluent: la programmation pour la conception, la fabr
Leonid MoninEnseignement et PhD Cours Algebra III - rings and fields MATH-215 C'est un cours introductoire dans la théorie d'anneau et de corps. Analyse I (anglais) MATH-101(en) Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. Topology III - Homology MATH-323 L'homologie est l'un des outils les plus importants pour étudier les espaces topologiques et elle joue un rôle important dans de nombreux domaine
Afficher plus
