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
Alexandre Sébastien Julien WillommetEnseignement et PhD Cours Fundamentals of VLSI design EE-429 Le cours présente les principes fondamentaux des circuits intégrés numériques et les aspects technologiques du point de vue des concepteurs. Il se concentre principalement sur le niveau des transistors, mais discute également de l'extension aux grandes conceptions numériques semi-personnalisées. Lab in advanced VLSI design EE-490(b) Ces labs couvrent les techniques avancées de conception de circuit integrés. Méthode
Mathias Josef PayerMathias Payer is a security researcher and professor at the EPFL school of computer and communication sciences (IC), leading the HexHive group. His research focuses on protecting applications in the presence of vulnerabilities, with a focus on memory corruption and type violations. He is interested in software security, system security, binary exploitation, effective mitigations, fault isolation/privilege separation, strong sanitization, and software testing (fuzzing) using a combination of binary analysis and compiler-based techniques. More details are available in his CV.
Karan PathakExpertise
System Architect 2023 - (Ex-IMEC)Performance estimation and Analysis. CPU Micro-architecture (BP, TLB Pref., Cache Pref., etc.) Full System Simulation (gem5, QEMU)BSP, BIOS, System FirmwaresProgramming Models for LLMs for CXL-CPU-GPU systems (HPC+AI)FPGA Prototyping (CHISEL to Bitstream), OS support, FS over Network, DMA in FPGAs
Current Work
CXLRAMSim v1.0 : Supporting CXL devices in Full System Simulator. CXLRAMSim v2.0: Extensions for CXL switch in FS SimulatorCXL-PNM: Exploring new programming
