Sayan BiswasExpertise
Decentralized Machine Learning and Federated Learning focusing on Privacy, Fairness, and Personalization; Secure and Trustworthy Distributed Systems; Differential Privacy; Location Privacy.
Sayan Biswas (CV) is a Postdoctoral Researcher in the Scalable Computing Systems (SaCS) lab at EPFL, Switzerland, led by Prof. Anne-Marie Kermarrec. He completed his PhD in Computer Science at INRIA and école Polytechnique in France, under the supervision of Prof. Catuscia Palamidessi. Prior to that, Sayan stud
Thomas Georges Pierre VidickTeaching & PhD PhD Students Itammar Steinberg, Aviv Taller Courses Formal Mathematics with Lean and AI CS-643 This graduate course provides an introduction to using Lean proof assistant to formalize mathematical definitions and theorems. We will have lectures on foundations (formal proofs, dependent type theory), learn about practice (proof tactics, use of AI, etc) and work on a formalization project. Introduction to quantum computation CS-308 The course introduces the para
Laura GrigoriExpertise
Numerical linear algebra, deterministic and randomized algorithmsHigh performance computing for scientific applicationsHigh dimensional problems and tensor computationsApplications in astrophysics, molecular simulations, etcCombinatorial scientific computingMathematical Software
Teaching & PhD PhD Students Israa Fakih, Zhipeng Xue, Andrea Di Antonio, Mariana Graciela Martinez Aguilar, Guifré Sánchez i Serra Courses Numerical analysis and computational mathematics MATH-456 The cou
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 FinkTeaching & PhD PhD Students Han Sun, Leandro Von Krannichfeldt, Keivan Faghih Niresi, Zepeng Zhang, Vinay Sharma, Chenghao Xu, Raffael Pascal Theiler, Kevin Antonio Steiner, Sergei Garmaev, Amaury Wei Past EPFL PhD Students Ismail Nejjar, Mengjie Zhao Courses Data Science for infrastructure condition monitoring CIVIL-332 The course will cover the relevant steps of data-driven infrastructure condition monitoring, starting from data acquisition, going through the steps pre-processing of real
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 ParaschoTeaching & PhD PhD Students Jingwen Wang, Gabriel Vallat, Maxence Grangeot, Eleni Maria Skevaki, Wenqian Yang, Megi Sinani Courses Capitalizing on Uncertainty AR-809 SUMMER SCHOOL - Capitalizing on Uncertainty is a 6-day Summer school exploring uncertainty as a productive resource in design and fabrication through lectures, hands-on experiments, and the collaborative design and construction of a full-scale structure in a human-robot fabrication setting. Digital design and making: A criti
Leonid MoninTeaching & PhD Courses Algebra III - rings and fields MATH-215 This is an introductory course in ring and field theory. Analysis I (English) MATH-101(en) We study the fundamental concepts of analysis, calculus and the integral of real-valued functions of a real variable. Topology III - Homology MATH-323 Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is
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 HerbstExpertise
For more information about our research, see https://matmat.org/research/.
Teaching & PhD PhD Students Niklas Frederik Schmitz, Anna Paulish, Bruno Ploumhans, Benedikt Menges Courses Error control in scientific modelling MATH-500 Errors are ubiquitous in computational science as neither models nor numerical techniques are perfect. With respect to eigenvalue problems motivated from materials science and atomistic modelling we discuss, implement and apply numerical techniques for e 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ë HolmesTeaching & PhD PhD Students Ricard Puig, Sacha Lerch, Reyhaneh Aghaei Saem, Shao Hen Chiew, Weijie Xiong, Marc Sanz Drudis, Mehrad Sahebi, Manuel Rudolph Courses Quantum information theory PHYS-550 After recapping the basics of quantum theory from an informationtheoretic perspective, we will cover more advanced topics inquantum information theory. This includes introducing measures of quantum information, and developing a more advanced understanding quantum states, channels and measurement
Georgios MoschidisTeaching & PhD PhD Students Abraham Gabriel Dorsaz Courses Analysis IV (for EL, GM, MX) MATH-207(c) This course serves as an introduction to the theory of complex analysis, Fourier series and Fourier transforms, the Laplace transform, with applications to the theory of ordinary and partial differential equations. These tools play an integral role in most branches of science and engineering. Differential geometry I - curves and surfaces MATH-213 This course serves as an intr
Radoslav MarchevskiTeaching & PhD PhD Students Jou An Chen, Tobias Alexandre Monnard, Xiafei Chang, Gauri Napoletano, Kerim Guseinov, Noémie Duc Courses Particle physics I PHYS-415 Presentation of particle properties, their symmetries and interactions.Introduction to quantum electrodynamics and to the Feynman rules. Particle physics: the flavour frontiers PHYS-471 This course will present experimental aspects of flavour physics primarily in the quark sector but also in the lepton sector and
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Ä
