Serge VaudenaySerge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.
Andreas ZüttelTeaching & PhD PhD Students Boyu Ouyang, Wai Kwan Liu, Guillaume Bérenger Rod, Aleksandar Mihaylov Mikov, Rui Li, Akhil Varma Penmathsa Past EPFL PhD Students Robin Tobias Andreas Mutschler, Kun Zhao, Loris Giovanni Lombardo, Mo Li, Jie Zhang, Youngdon Ko, Cedric David Koolen, Thi Ha My Pham, Zohreh Akbari, Yasemen Kuddusi Courses Thermodynamics of energy conversion and storage ChE-414 The course is an introduction to the energy conversion. It focusseson the thermodynamics of the engines a
Katrin BeyerSince 2017 Associate Professor, School of Architecture, Civil and Environmental Engineering (ENAC), EPFL. Head of the Earthquake Engineering and Structural Dynamics (EESD) Laboratory
2010-2017 Assistant Professor, EPFL.
2008-2010 Post-doctoral researcher, ETH Zürich.
2003-2007 Ph.D., Roseschool / Università di Pavia, Italy.
2001-2003 Ove Arup & Partners, Advanced Technology and Research Group, London.
2001 Diploma, Civil engineering, ETH Zürich.
Karen ScrivenerDe nationalité anglaise, Karen Scrivener est née en 1958. Au cours de sa carrière, ses travaux et sa recherche traitaient des domaines suivants: Identification du développement microstucturale pendant l'hydratation du ciment. Elaboration d'une approche multitechnique pour étudier la microstucture des ciments et bétons, avec accent sur la quantification par analyse des images d'électrons retrodiffusés. Caractérisation de l'auréole de transition de la pâte de ciment autour des granulats. Compréhension des processus de dégardation des bétons, en particulier le gonflement lié à la formation de l'éttringite retardée dans les bétons étuvés.
Mohamed BouriDr. Mohamed Bouri is a group leader of Rehabilitation and Assistive Robotics in LSRO and lecturer of Robotics and Industrial Robotics. He graduated in Electrical Engineering in 1992 and obtained his PhD degree in 1997 in Industrial Automation at INSA LYON, France. Since 1997, he is at EPFL and is mainly active in the field of robot control, automation and robot design for medical and industrial applications. He is the head of Rehabilitation and Assistive Robotics group since 2005 and has strong references with the development of robotic devices for lower limb rehabilitation : The MotionMaker and WalkTrainer commercialzed by the company Swortec. His ongoing research currently focuses on the development of exoskeletons and the associated control strategies. His main current projects are TWIICE, a lower limb exoskeleton for people with paraplegia, AUTONOMYO, a walk assistance exoskeleton for people with muscle weakness, and the HiBSO, a hip orthosis for elderly.
Solaiman Shokur2019 - now : Senior Scientist, Translational neuroengineering Laboratory, EPFL(Geneva)
Team leader: CHRONOS project, a multi-center European project that aims at developing the first chronically implanted prosthetic hand for transradial amputee patients with bidirectional communication capabilities. NCCR Robotics: Bi-directional control of supernumerary limbs.2014-2019: Research Coordinator, AASDAP (São Paulo, Brazil) Responsible for both the scientific production and the clinical protocol at the AASDAP neurorehabilitation laboratory.
2013-2014: Postdoctoral associate, Walk again project, Insituto Santos Dumond. (Natal, RN, Brazil)Head of the engineering team in charge of the system integration. 2010-2012: Visiting scientist, Nicolelis Lab (Duke University).
Development and validation of a virtual-reality based brain-machine interface for rhesus monkeys.
2007 – 2010: Teaching assistant, Laboratory of Robotics Systems (EPFL)
Viktor KuncakViktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.
Pascal FrossardTeaching & PhD PhD Students Yiming Qin, Alba Carballo Castro, Elisa Messori, Ke Wang, Sevda Ögüt, Tuna Alikasifoglu, William Cappelletti, Manuel Madeira, Mahdi Amiri, Ortal Yona Senouf, Vasiliki Rizou, Cem Bilaloglu, Abdellah Rahmani, Amel Abdelraheem, Jérémy Jean Philippe Baffou, Adam Hazimeh, Vincent Jung, Yike Zhao Past EPFL PhD Students Dan Jurca, Jean-Paul Wagner, Ivana Radulovic, Ivana Tosic, Effrosyni Kokiopoulou, Zafer Arican, Vijayaraghavan Thirumalai, Tamara Tosic, Eirina Bourtsoulatze, Elif Vur
Babak FalsafiBabak is a Professor in the School of Computer and Communication Sciences and the founding director of the EcoCloud, an industrial/academic consortium at EPFL investigating scalable data-centric technologies. He has made numerous contributions to computer system design and evaluation including a scalable multiprocessor architecture which was prototyped by Sun Microsystems (now Oracle), snoop filters and memory streaming technologies that are incorporated into IBM BlueGene/P and Q and ARM cores, and computer system performance evaluation methodologies that have been in use by AMD, HP and Google PerKit . He has shown that hardware memory consistency models are neither necessary (in the 90's) nor sufficient (a decade later) to achieve high performance in multiprocessor systems. These results eventually led to fence speculation in modern microprocessors. His latest work on workload-optimized server processors laid the foundation for the first generation of Cavium ARM server CPUs, ThunderX. He is a recipient of an NSF CAREER award, IBM Faculty Partnership Awards, and an Alfred P. Sloan Research Fellowship. He is a fellow of IEEE and ACM.
