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.
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
Andrei ArdeleanAndrei Ardelean received the B.Sc. degree in Electronics from "Politehnica" University of Timisoara, Timisoara, Romania, in 2015, and the M.Sc. degree in Microelectronics from the Delft University of Technology, Delft, Netherlands, in 2017. He is currently working towards his Ph.D. in the AQUA Laboratory at EPFL. His main research interests are single-photon counting time-correlated image sensors for real time phasor-based fluorescence lifetime imaging microscopy.
Alireza MafiExpertise
Théorie de l'électromagnétismeAntennes et Micro-ondesCircuits Intégrés de RadiofréquenceRéseaux PhasésBioélectronique
Expertise
Théorie de l'électromagnétismeAntennes et Micro-ondesCircuits Intégrés de RadiofréquenceRéseaux PhasésBioélectronique
Je suis doctorant en Génie électrique à l'école Polytechnique Fédérale de Lausanne (EPFL). J'ai obtenu mon Master en Génie électrique (Communications Micro-ondes et Optiques) à l'Université de Technologie de Sharif, Téhéran, Iran, en 2022. J'ai également t
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.
Ali MeimandiExpertise
Research interests:Analog and digital circuit designBiomedical circuits and systems
Ali Meimandi received B.Sc degree in electrical engineering from Amirkabir University of Technology(Tehran Polytechnic), Tehran, Iran, and M.Sc. degree in electronic engineering from Politecnico di Milano, Milan, Italy, in 2018 and 2022, respectively. He is a Research Assistant and doctoral candidate in the BioCMOS Interfaces(BCI) Laboratory at école Polytechnique Fédérale de Lausanne, Lausanne, Switzerland.His res
Ayatallah Ahmed Gamal Kamal ElakhrasExpertise
Dataflow ArchitectureHigh-Level Synthesis
Ayatallah is a Ph.D. student in the Processor Architecture Laboratory, advised by Professor Paolo Ienne. Between October 2023 and March 2024, she did an internship at AMD in the Research and Advanced Development team, under the supervision of Dr. Kristof Denolf. She received a B.Sc. degree in Computer Engineering from the American University in Cairo, Egypt in 2020 and started her Ph.D. in the same year.Her research interests include dataflow architecture,
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
Afficher plus