Alexander DittrichCurrent Work
My research interests are somewhere between neural networks with Hebbian plasticity, meta-reinforcement learning, and the control of rather unconventional soft robotic platforms like tensegrity robots.
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-
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
Pasquale Davide SchiavoneEnseignement et PhD Cours Design technologies for integrated systems CS-472 La synthèse hardware est le processus de transformation - itérativement raffiné, détaillé et optimisé - d'une représentation faite en langage de description matérielle en un circuit. Ce cours présente les algorithmes, outils et méthodes de la compilation matérielle et de la synthèse logique.
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
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
Olga FinkEnseignement et PhD Doctorant·es actuel·les Han Sun, Leandro Von Krannichfeldt, Keivan Faghih Niresi, Zepeng Zhang, Vinay Sharma, Chenghao Xu, Raffael Pascal Theiler, Kevin Antonio Steiner, Sergei Garmaev, Amaury Wei A dirigé les thèses EPFL de Ismail Nejjar, Mengjie Zhao Cours Data Science for infrastructure condition monitoring CIVIL-332 Le cours couvrira les étapes pertinentes de la surveillance de l'état des infrastructures basée sur les données: l'acquisition des données, en passant p
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
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
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
Lazar MilikicExpertise
LLMs (Large Language Models), NLP (Natural Language Processing), Automated Reasoning
Mission
My work focuses on developing robust methods for autoformalization and automated theorem proving using large language models. I aim to enhance the reasoning reliability of modern AI systems by reducing hallucinations, improving predictability, and integrating formal verification techniques and tools into LLM-based pipelines.
Before joining EDIC, I completed a Bachelor’s in Mathematics and Computer Science
Haitham Al HassaniehEnseignement et PhD Doctorant·es actuel·les Eduard Vlad, Raphael Cannatà, Arman Maghsoudnia, Jiachen Lu, Samah Hussein Youssef, Hailan Zhang Shanbhag, Aoyu Gong Cours Intelligent systems: communications & AI COM-304 Le cours enseigne le développement de systèmes permettant de résoudre des défis réels en communication, traitement du signal, modèles fondamentaux et intelligence artificielle. Les étudiants travailleront en équipe, concrétiseront leurs idées et programmeront soit des prototype
