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
Martin SchrimpfExpertise
NeuroAI, computational neuroscience, computer vision, natural language processing, human alignment, startups [CV]
Mission
Modeling the brain: Martin's research focuses on a computational understanding of the neural mechanisms underlying natural intelligence in vision and language. To achieve this goal, he bridges Deep Learning, Neuroscience, and Cognitive Science, building artificial neural network models that match the brain’s neural representations in their internal processing and are aligned to
Kai RenKai Ren received his Bachelor's degree in Electrical Engineering from the University of Victoria, and his Master's degree in Electrical and Computer Engineering from the University of British Columbia, Canada. His research interest is the safe motion planning of autonomous systems in uncertain and dynamic environments. His master's thesis investigated a safe and risk-aware Model Predictive Control framework under multimodal environmental uncertainties. Education M.ASc | Electrical and Computer Enginee
Michael HerbstSee also
https://matmat.org: Group websitehttps://michael-herbst.com: Blog & personal website
Enseignement et PhD Doctorant·es actuel·les Niklas Frederik Schmitz, Anna Paulish, Bruno Ploumhans, Benedikt Menges Cours Error control in scientific modelling MATH-500 Les erreurs sont omniprésentes dans les sciences informatiques. En ce qui concerne les problèmes de valeurs propres motivés par la science des matériaux et la modélisation atomistique, nous discutons, mettons en œuvre et appliquons Pawel DuchExpertise
My present research focuses on the intersection between probability theory, PDE theory and Euclidean quantum field theory. I am especially interested in problems involving singular stochastic partial differential equations and renormalization. I have also a background in mathematical aspects of perturbative and axiomatic quantum field theory as well as general relativity.
I am a postdoctoral researcher in the group of Martin Hairer. Previously, I was a postdoc at Adam Mickiewicz University in Pozn
Virginia LangVirginia started in the medical research field as a Coordinator of Research at the Clinical Research Unit Kennedy Institute of Johns Hopkins Medical Center. She was responsible for the initiation, coordination, and management and/or analysis of research projects in the Clinical Research Unit. These projects were funded by various Federal Government Agencies. Subsequent to Johns Hopkins Medical Center, Virginia entered the field of Human Factors through the doctoral program at SUNY Binghamton. Virginia held a fellowship at the Aeromedical Research Laboratory of the United States Air Force at Wright-Patterson AFB, Dayton, Ohio and a fellowship at NASA. Her research dealt with cognitive factors that differentially affect the characteristics of visual displays. Applications of this research are directly related to various medical devices and software applications providing Medical Device Human Factors by HirLan clients with 30 years of Human Factors experience. In addition, Virginia has extensive experience in the areas of product design, Customer Centered Participatory Design processes, and product lifecycle management. She is also known in the Human Computer Interaction and Usability Communities for her innovative techniques for collecting and incorporating user/customer feedback throughout the product lifecycle. In July 2014, Virginia founded and established the HirLan Institute of Human Factors with labs in Carlsbad, California and a Consortium arrangement in London, UK. HirLan supports Top Ten pharma/medical device companies, as well as, start-ups with consulting and testing services. These services are in conjunction with their clients’ FDA 510(k) and CE mark applications. Virginia holds a PhD in Cognitive-Experimental Psychology from SUNY Binghamton, and a Master of Science (ABT) in Applied Technology, Systems Science from SUNY Binghamton.
Du WenEducation PhD | Doctor of Philosophy, Mechanical Engineering 2020 – 2023 The University of Tokyo MEng | Master of Engineering, Power Engineering and Engineering Thermophysics 2016 – 2019 Xi’an Jiaotong University Bsc | Bachelor of Engineering 2012 – 2016 Xi’an Jiaotong University
Zoë HolmesEnseignement et PhD Doctorant·es actuel·les Ricard Puig, Sacha Lerch, Reyhaneh Aghaei Saem, Shao Hen Chiew, Weijie Xiong, Marc Sanz Drudis, Mehrad Sahebi, Manuel Rudolph Cours Quantum information theory PHYS-550 Après avoir revu les bases de la théorie quantique du point de vue de la théorie de l'information, nous couvrirons des sujets plus avancés en théorie de l'information quantique tels que les mesures de l'information quantique et la compréhension des états, canaux et mesures quantiqu
Georgios MoschidisEnseignement et PhD Doctorant·es actuel·les Abraham Gabriel Dorsaz Cours Analysis IV (for EL, GM, MX) MATH-207(c) Ce cours est une introduction à la théorie de l'analyse complexe, aux séries et transformées de Fourier, à la transformée de Laplace, avec des applications à la théorie des équations différentielles ordinaires et partielles. Differential geometry I - curves and surfaces MATH-213 Ce cours constitue une introduction à la géométrie différentielle classique, qui ét
Radoslav MarchevskiEnseignement et PhD Doctorant·es actuel·les Jou An Chen, Tobias Alexandre Monnard, Xiafei Chang, Gauri Napoletano, Kerim Guseinov, Noémie Duc Cours Particle physics I PHYS-415 Présentation des propriétés des particules, leurs symétries et leurs interactions.Introduction à l'électrodynamique quantique et aux règles de Feynman. Particle physics: the flavour frontiers PHYS-471 Ce cours présentera les aspects expérimentaux de la physique des saveurs, principalement dans le sect
Sankalp GambhirExpertise
My current research revolves around proof assistants and program verification. I often find myself distracted by related topics in verification, synthesis, and logic as well. I have briefly worked in quantum information theory as part of my bachelor's thesis before.I am currently working primarily on the LISA proof assistant, writing proofs, and thinking about programs. Always happy to chat about computer science, maths, or physics!
I am a doctoral assistant at EPFL working with Prof. Viktor KunÄ
