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
Thomas Emile BourgeatEnseignement et PhD Doctorant·es actuel·les Neelu Shivprakash Kalani, Jiawei Lin, Alexandre Pinazza, Jiacheng Ma, Martina Camaioni, Guokai Chen, Mohammadarman Soleimani Cours Computer security and privacy COM-301 C'est un cours d'introduction à la sécurité informatique et privée. L'objectif est de fournir aux étudiants les moyens de raisonner sur les problèmes de sécurité et de confidentialité et de leur donner les moyens de les affronter. Constructive Computer Architecture CS-62
Dimitri RacordonExpertise
Programming language design, type systems, memory safety
I got my Ph.D. in computer science at the University of Geneva, Switzerland. I worked on model checking and developed efficient data structures to generate and explore large state spaces. SI then studied logics and type systems while trying to find new ways to teach computer science.I have always loved coding, but quickly realized I'm not so good at writing correct programs. So I thought I'd better write clever compilers to do it for me. Eve
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
Zsuzsanna Viktoria SzemerediEnseignement et PhD Cours Critical thinking I HUM-425 Ce cours développera les compétences en matière de raisonnement logique et d'argumentation afin de vous permettre d'influencer la prise de décision. Vous y parviendrez en apprenant à représenter et à communiquer votre raisonnement sous forme d'arguments, et en pratiquant continuellement le raisonne Critical thinking II HUM-484 Le cours Critical thinking II (HUM 484) s'appuie sur les concepts acquis dans le cours Pensée cr
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
Yujia ZhangEnseignement et PhD Doctorant·es actuel·les Yuyan Su, Shulang Shen, Jiaqi Liu Cours Advanced microfabrication practicals MICRO-373 Ce TP permet une formation approfondie sur les méthodes avancées de micro et nanofabrication dans un environnement de salle blanche pour des applications sélectionnées, d'acquérir des connaissances plus approfondies sur les processus MEMS/NEMS, de travailler dans un petit groupe avec des doctorants/ MOOC: Micro and Nanofabrication (MEMS) - Fall MICRO-
Eric SilvaEnseignement et PhD Cours Architecture software MICRO-371 Ce cours couvre des sujets liés à l'architecture software moderne et industrielle : la gestion agile de projets, la spécification des besoins, le développement d'applications critiques, la programmation robuste, et les aspects devOps (automatisation de tests, pipeline CI/CD)
Afficher plus
