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
Geovani RizkExpertise
Distributed Machine Learning, Robustness, Safety, Optimization, Multi-Agent, Bandits in Graphs
I am a postdoctoral researcher at école Polytechnique Fédérale de Lausanne since 2022, where I work with Rachid Guerraoui on robustness of distributed machine learning algorithms. From 2018 to 2022, I completed my Ph.D. in computer science at Université Paris Dauphine-PSL on multi-agent bandits in graphs under the supervision of Yann Chevaleyre, Rida Laraki, Igor Colin, and Albert Thomas.Pre-prints Over
Virginia LangVirginia started in the medical research field as a Coordinator of Research at the Clinical Research Unit Kennedy Institute of Johns Hopkins Medical Center. She was responsible for the initiation, coordination, and management and/or analysis of research projects in the Clinical Research Unit. These projects were funded by various Federal Government Agencies. Subsequent to Johns Hopkins Medical Center, Virginia entered the field of Human Factors through the doctoral program at SUNY Binghamton. Virginia held a fellowship at the Aeromedical Research Laboratory of the United States Air Force at Wright-Patterson AFB, Dayton, Ohio and a fellowship at NASA. Her research dealt with cognitive factors that differentially affect the characteristics of visual displays. Applications of this research are directly related to various medical devices and software applications providing Medical Device Human Factors by HirLan clients with 30 years of Human Factors experience. In addition, Virginia has extensive experience in the areas of product design, Customer Centered Participatory Design processes, and product lifecycle management. She is also known in the Human Computer Interaction and Usability Communities for her innovative techniques for collecting and incorporating user/customer feedback throughout the product lifecycle. In July 2014, Virginia founded and established the HirLan Institute of Human Factors with labs in Carlsbad, California and a Consortium arrangement in London, UK. HirLan supports Top Ten pharma/medical device companies, as well as, start-ups with consulting and testing services. These services are in conjunction with their clients’ FDA 510(k) and CE mark applications. Virginia holds a PhD in Cognitive-Experimental Psychology from SUNY Binghamton, and a Master of Science (ABT) in Applied Technology, Systems Science from SUNY Binghamton.
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
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,
Sanidhya KashyapSanidhya Kashyap is a systems researcher and an assistant professor at the EPFL School of Computer and Communication Sciences (IC). His research focuses on designing systems software that are performant and robust for heterogeneous hardware. He is broadly interested in the area of systems with a particular focus on operating systems, databases, concurrency, scheduling, networks, data analytics, and software testing (fuzzing).
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•
Show more
