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
Thomas Emile BourgeatTeaching & PhD PhD Students Neelu Shivprakash Kalani, Jiawei Lin, Alexandre Pinazza, Jiacheng Ma, Martina Camaioni, Guokai Chen, Mohammadarman Soleimani Courses Computer security and privacy COM-301 This is an introductory course to computer security and privacy. Its goal is to provide students with means to reason about security and privacy problems, and provide them with tools to confront them. Constructive Computer Architecture CS-629 Beginning with a basic pipeline proc
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 SzemerediTeaching & PhD Courses Critical thinking I HUM-425 This course will develop logical reasoning and argumentation skills to enable you to influence decision making. You will achieve this by learning how to represent and communicate your reasoning as arguments, and by continuously practicing logical reasoning and problem solving in teams. Critical thinking II HUM-484 Critical Thinking II (HUM 484) builds on concepts acquired in Critical Thinking I (HUM 425). Please read HUM
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
Yujia ZhangExpertise
Dropletronics: microscale droplet-based modular iontronics (e.g., batteries, diodes, transistors, memristors and circuits)Bioiontronics and bioelectronicsFunctional synthetic, cellular and hybrid tissuesBioengineering and human-machine interfaceAdvanced manufacturing of soft and living matter across multiple scales
2026 Masters Semester Project/Thesis, PhD and Postdoc Positions
Many opportunities exist in microengineering, bioengineering, materials science, microrobots, programming and AI; please
Eric SilvaTeaching & PhD Courses Software architecture MICRO-371 This courses covers topics in modern and industrial software architecture including: agile project management, specifications, development of critical applications, design patterns, robuste code, and devOps aspects (automating tests, and continuous integration and deployment)
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•
Arman MaghsoudniaEducation Electrical Engineering | 2018 – 2023 Sharif University of Technology
Teaching & PhDCOM-405 | Mobile networks This course provides a detailed description of the organization and operating principles of mobile and wireless communication networks, as well as the use of wireless signals for sensing and imaging.COM-304 | Intelligent systems: communications & AI The course teaches the development of systems that solve real-world challenges in communications, signal processing, foundati
