Alessandro ChiesaAlessandro Chiesa is a faculty member in computer science. He conducts research in complexity theory, cryptography, and security, with a focus on the theoretical foundations and practical implementations of cryptographic proofs that are short and easy to verify. He is a co-author of several zkSNARK libraries, and is a co-inventor of the Zerocash protocol. He has co-founded Zcash and StarkWare Industries. He is a recipient of a Sloan Research Fellowship (2021), an Okawa Foundation Research Grant (2020), and Google Faculty Research Awards (2018 and 2017). He was included in MIT Technology Review's "35 Innovators Under 35" list in 2018.
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
Andrew James SontaExpertise
Human-building interaction, building energy, occupant behavior, sustainable design and planning, walkability, network analysis, machine learning, urban informatics, social systems.
Andrew Sonta is a tenure track assistant professor of sustainable civil engineering at EPFL. He directs the ETHOS Lab: Engineering and Technology for Human Oriented Sustainability. ETHOS is an interdisciplinary research group focused on using data-driven and computational tools to create interventions in the built envir
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
Gregor JotzuEnseignement et PhD Doctorant·es actuel·les Malo Pierre Yves Herve, Louis Gobber, Chiara Missaglia, Kewei Zhou, Fares Hasan Cours Probability and statistics for materials science MSE-213 Établit les concepts de l'analyse statistique, théorie des probabilités et l'analyse des données. Cela inclut les tests statistiques standard, l'analyse des corrélations et la conception expérimentale. Il introduit des méthodes statistiques informatiques pour analyser de grands ensembles de données. Quan
Shashwat ShrivastavaI am a Ph.D. student at EPFL, advised by Dr. Mirjana Stojilović. I am broadly interested in FPGA architecture and Computer-Aided Design. My research is focused on reducing the compile time for FPGAs by incorporating architectural enhancements and rethinking CAD algorithms.
Andres Osorio SalazarExpertise
Robotics, advanced actuator design, soft actuators, sensor design, embedded systems, human-machine interface architecture, electronic-less control, mechanism design, additive and traditional manufacturing, industrial automation, process control, and fluid robotics.
Current Work
Smart Footwear for Diabetic Foot Care and Ulcer PreventionEvery 20 seconds, a person with diabetes has to face an amputation somewhere in the world. The main risk factor is high plantar pressure combined with foot nephropat
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
Franco De PalmaExpertise
Solid state physics, Quantum computing, Nanoelectronics, Nanofabrication
Currently working as Doctoral Assistant in the Hybrid Quantum Circuits Laboratory of Prof. Pasquale Scarlino and Nanolab of Prof. Adrian M. Ionescu on the fabrication of Quantum Dots in planar Ge coupled with superconducting resonators. I have a Master's degree in Nanotechnologies from Politecnico di Torino, where I got also my Bachelor's degree in Physics Engineering, Grenoble Phelma INP and EPFL.
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
