Samuel ChassotI am a PhD candidate in LARA at EPFL, under the guidance of Prof. Viktor KunÄak. My research focuses on Formal Methods and Software Verification. One of my recent work was to formally verify a mutable hash table from the Scala standard library.Before starting my PhD, I obtained an MSc in Computer Science from EPFL, Switzerland. Education MSc Computer Science | 2016 – 2022 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.
Jean-Philippe HoggeTeaching & PhD PhD Students Constant Philippe Panisset, Pierrick Paul Louis Giroud-Garampon Past EPFL PhD Students Sudheer Kumar Jawla, Guillaume Michel Le Bars Past EPFL PhD Students as codirector Falk Braunmüller Courses Fusion and industrial plasma technologies PHYS-632 The course provides an overview of the technologies that are essential for fusion developments and for industrial plasmaapplications, highlighting the synergies between the two fields. The aim is to provide a combined th
Ugo SiravoTeaching & PhD Courses Fusion and industrial plasma technologies PHYS-632 The course provides an overview of the technologies that are essential for fusion developments and for industrial plasmaapplications, highlighting the synergies between the two fields. The aim is to provide a combined theoretical andexperimental background to the various topics.
Laurie PorteTeaching & PhD PhD Students James Winston Irawati Tumbokon, Oliver Morais Moura Past EPFL PhD Students as codirector Matteo Fontana, Pedro Andres Molina Cabrera, Arsène Tema Biwole Courses Atomic and radiative processes in plasmas PHYS-762 The course covers atomic structure, collisional-radiative (CR) processes, and spectroscopic techniques. Students learn to critically apply CR models, evaluate spectroscopic tools, and interpret experimental data obtained in different plasmas.
Daniel SageExpertise
PublicationsPublications
Coordinates Biomedical Imaging GroupAddressEPFL STI-IMT-LIB, BM 4.135, Station 17, CH-1015 Lausanne, SwitzerlandTel.+41 21 693 51 89Fax.+41 21 693 68 10Emaildaniel.sage@epfl.chWeb pagehttp://bigwww.epfl.ch/sage/OfficeBM 4.135
Teaching & PhD Past EPFL PhD Students as codirector Daniel Andreas Schmitter, Anaïs Badoual, Laurène Donati Courses Bioimage informatics BIO-410 The course provides a comprehensive overview of methods, algorithms, and computer tools us Bryan Alexander FordLinks
DEDIS lab home pagePersonal home page
Curriculum vitae https://bford.info/cv.pdf
Teaching & PhD PhD Students Shailesh Mishra Past EPFL PhD Students Eleftherios Kokoris Kogias, Kirill Nikitin, Cristina Basescu, Enis Ceyhun Alp, Simone Colombo, Pasindu Nivanthaka Tennage, Louis-Henri Manuel Jakob Merino Past EPFL PhD Students as codirector David Froelicher, Ludovic Barman, Georgia Fragkouli Courses Decentralized systems engineering CS-438 A decentralized system is one that works when n 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.
Kamiar AminianKamiar Aminian received the M.S. degree in electrical engineering in 1982, the Ph.D degree in biomedical engineering in 1989 and the Postgraduate degree on technical computing in 1993 from Ecole Polytechnique Fédérale de Lausanne (EPFL). He was assistant professor (1994-1996) with Sharif University of Technology (Tehran). He joint EPFL in 1996 where he is currently Professor of medical instrumentation and the director of the Laboratory of Movement Analysis and Measurement in the Institute of Bioengineering of EPFL. His research interests include methodologies for human movement monitoring and analysis in real world conditions mainly based on wearable technologies and inertial sensors with emphasis on gait, physical activity and sport. His research aims to perform outcome evaluation in orthopaedics, to improve motor function and intervention programs in aging and patients with movement disorders and pain, and to identify metrics of performance in sport science.
Kamiar Aminian is a member of the International Society of Posture and Gait Research, the Institute of Electrical and Electronics Engineers, the European Society of Movement Analysis in Adults and Children, the Prevention of fall Network Europe, the Intentional Society of Biomechanics and the President of the 3D analysis of the human movement group. He is author or co-author of more than 450 scientific papers published in reviewed journals and presented at international conferences and holds 10 patents related to medical devices.
Full CV
ORCID
Pavlos NikolopoulosTeaching & PhD Courses Advanced networks COM-407 This advanced course in computer networks offers an in-depth exploration of how the Internet is designed and operates. Students dive into the architecture of the Internet and gain hands-on understanding of the key protocols that power it.
Ian SmithPhD, Cambridge University, 1982 Interests 1 Active shape control for structures for deployment and where serviceability criteria governs 2 Biomimetic structures (learning, self-diagnosis, self-repair) 3 Infrastructure management support through structural identification 4 Advanced computer-aided engineering applications of stochastic optimization and search, multi-criteria analysis, system uncertainties (measurement and modelling), multi-modal approaches (combining statistics with behavior models) More details : see https://www.epfl.ch/labs/imac/research/iansmith/ 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.
