Simon GuilloudExpertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as probabilistic proofs, type theory, quantum computing and more.
Expertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as
Mirjana StojilovicMirjana Stojilović received the Dipl. Ing. and Ph.D. degrees from the School of Electrical Engineering, University of Belgrade, in 2006 and 2013, respectively. From 2010 to 2013, she was collaborating with the Processor Architecture Laboratory at EPFL, visiting periodically as a Guest Researcher. From 2013 to 2016, she was working at the University of Applied Sciences Western Switzerland as a senior researcher, and at EPFL as a lecturer. She joined Parallel Systems Architecture Lab at EPFL in October 2016. Mirjana's main research interests include electronic design automation, reconfigurable computing, electromagnetic-compatibility and signal-integrity issues, and hardware security. Mirjana Stojilović serves on the program committee of the FPGA, FPL, and FCCM conferences and as a reviewer for IEEE TCAD, TVLSI, TC, TEMC, IEEE Access and ACM TRETS. She received the Best Paper Award at 2016 International Symposium on Electromagnetic Compatibility (EMC Europe 2016), Young Scientist Award at 33rd International Conference on Lightning Protection (ICLP2016), and the Young Author Best Paper Award at the 20th Telecommunication Forum in Belgrade (TELFOR 2012). In 2015, the EPFL School of Computer and Communication Sciences (IC) presented her with the Teaching Award.
Jean-Charles TournierTeaching & PhD Courses Industrial automation CS-487 This course consists of two parts:1) architecture of automation systems, hands-on lab2) dependable systems and handling of faults and failures in real-time systems, including fault-tolerant computing
Frank NüeschTeaching & PhD PhD Students Elodie Didier, Ceren Mitmit, João Pedro Ferreira Assunção, Vahid Charkhesht Past EPFL PhD Students Hui Zhang, Simon Johannes Dünki, Yee Song Ko, Lei Wang, Sandra Christina Jenatsch, Nicolas Alexandre Serge Leclaire, Donatas Gesevicius, Surendra Babu Anantharaman, Markus Regnat, Philip Horst Caspari, Patrik Schürch, David Reber, Karen Verena Strassel, Sina Abdolhosseinzadeh, Matthias Diethelm, Francis Owusu, Camilla Arietta Vael-Garn, Yeerlan Adeli, Wei-Hsu Hu, Cansu Zeytun Kara
Giuseppe CarleoGiuseppe Carleo is a computational quantum physicist, whose main focus is the development of advanced numerical algorithms tostudy challenging problems involving strongly interacting quantum systems.He is best known for the introduction of machine learning techniques to study both equilibrium and dynamical properties,based on a neural-network representations of quantum states, as well for the time-dependent variational Monte Carlo method.He earned a Ph.D. in Condensed Matter Theory from the International School for Advanced Studies (SISSA) in Italy in 2011.He held postdoctoral positions at the Institut d’Optique in France and ETH Zurich in Switzerland, where he alsoserved as a lecturer in computational quantum physics.In 2018, he joined the Flatiron Institute in New York City in 2018 at the Center for Computational Quantum Physics (CCQ), working as a Research Scientist and project leader, and also leading the development of the open-source project NetKet.Since September 2020 he is an assistant professor at EPFL, in Switzerland, leading the Computational Quantum Science Laboratory (CQSL).
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
Pascal FrossardTeaching & PhD PhD Students Yiming Qin, Alba Carballo Castro, Elisa Messori, Ke Wang, Sevda Ögüt, Tuna Alikasifoglu, William Cappelletti, Manuel Madeira, Mahdi Amiri, Ortal Yona Senouf, Vasiliki Rizou, Cem Bilaloglu, Abdellah Rahmani, Amel Abdelraheem, Jérémy Jean Philippe Baffou, Adam Hazimeh, Vincent Jung, Yike Zhao Past EPFL PhD Students Dan Jurca, Jean-Paul Wagner, Ivana Radulovic, Ivana Tosic, Effrosyni Kokiopoulou, Zafer Arican, Vijayaraghavan Thirumalai, Tamara Tosic, Eirina Bourtsoulatze, Elif Vur
Pejman Lotfi KamranTeaching & PhD Courses Advanced multiprocessor architecture CS-471 Multiprocessors are basic building blocks for all computer systems. This course covers the architecture and organization of modern multiprocessors, prevalent accelerators (e.g., GPU, TPU), and datacenters. It includes a research project on multiprocessors and post-Moore era datacenters. Parallelism and concurrency in software CS-302 From sensors,to smart phones,to the world's largest datacenters and supercompu
Kevin SivulaSee webpage for more info limno.epfl.ch
Teaching & PhD PhD Students Odile Louise Andres, Arthur Eliot Bouchez, Benjamin Goldman, Nicolas Johannes Diercks, Aurélie Fanny Marie Célérien, Jiajun Li, Louise Marie Foltzer-De Cian, Melanie Victoria Johanning, Nils William Laurent Golay Past EPFL PhD Students Andrea Gasperini, Pauline Bornoz, Xavier Adrian Jeanbourquin, Xiaoyun Yu, Mathieu Steven Prévot, Muhammad Aiman Bin Rahmanudin Hamdan, Nhât-Tân Vuong, Yongpeng Liu, Arvindh Sekar, Barbara Alexandra Primera
Andrei NegutTeaching & PhD PhD Students Archi Kaushik, Niccolò Giacomini, Paul Vögele Courses Algebra II - groups MATH-211 This course deals with group theory, with particular emphasis on group actions and notions of category theory. Linear algebra (english) MATH-111(en) The purpose of the course is to introduce the basic notions of linear algebra and its applications. Representation Theory II - Lie groups and algebras MATH-429 This is a standard course on Lie groups, L
Giovanna LaniExpertise
Theory development within many-body perturbation theory, time-dependent density functional theory and density-functional theory for problems pertaining to condensed matter physics and quantum chemistry
Expertise
Theory development within many-body perturbation theory, time-dependent density functional theory and density-functional theory for problems pertaining to condensed matter physics and quantum chemistry
