Samuel ChassotI am a PhD student under the supervision of Viktor KunÄak, in the LARA group at EPFL. My current research interests are in the area of formal verification. I work on and with Stainless, a verifier for Scala. One of my recent project was to formally verify a mutable hash table from the Scala standard library.
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 HoggeEnseignement et PhD Doctorant·es actuel·les Constant Philippe Panisset, Pierrick Paul Louis Giroud-Garampon A dirigé les thèses EPFL de Sudheer Kumar Jawla, Guillaume Michel Le Bars A co-dirigé les thèses EPFL de Falk Braunmüller Cours Fusion and industrial plasma technologies PHYS-632 The course provides an overview of the technologies that are essential for fusion developments and for industrial plasma applications, highlighting the synergies between the two fields. The aim is to provide
Ugo SiravoEnseignement et PhD Cours Fusion and industrial plasma technologies PHYS-632 The course provides an overview of the technologies that are essential for fusion developments and for industrial plasma applications, highlighting the synergies between the two fields. The aim is to provide a combined theoretical and experimental background to the various topics.
Laurie PorteEnseignement et PhD Doctorant·es actuel·les James Winston Irawati Tumbokon, Oliver Morais Moura A co-dirigé les thèses EPFL de Matteo Fontana, Pedro Andres Molina Cabrera, Arsène Tema Biwole Cours Atomic and radiative processes in plasmas PHYS-762
Daniel SageExpertise
Publications
Enseignement et PhD A co-dirigé les thèses EPFL de Daniel Andreas Schmitter, Anaïs Badoual, Laurène Donati Cours Bioimage informatics BIO-410 Le cours fournit une complète revue des méthodes, algorithmes et des outils logiciels utilisés en analyse d'images biologiques. Il expose les concepts fondamentaux et les solutions informatiques permettant d'extraire des informations quantitatives à partir d'images multidimensionnelles. Fundamentals of Image Analysis EE
Bryan Alexander FordEnseignement et PhD Doctorant·es actuel·les Shailesh Mishra A dirigé les thèses EPFL de Eleftherios Kokoris Kogias, Kirill Nikitin, Cristina Basescu, Enis Ceyhun Alp, Simone Colombo, Pasindu Nivanthaka Tennage, Louis-Henri Manuel Jakob Merino A co-dirigé les thèses EPFL de David Froelicher, Ludovic Barman, Georgia Fragkouli Cours Decentralized systems engineering CS-438 Un système est décentralisé lorsque son fonctionnement et sa sécurité ne dépendent d'aucune partie. Ce cours enseigne les
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 AminianExpertise
Biomechanics of human movement Wearable Technology / Inertial sensors Gait Analysis / Physical Activity Monitoring Physical activity Patterns Sport Performance Orthopedics / Rehabilitation engineering Fall Prevention in Elderly Motor function in Parkinson disease Physical behavior in chronic pain
Expertise
Biomechanics of human movement Wearable Technology / Inertial sensors Gait Analysis / Physical Activity Monitoring Physical activity Patterns Sport Performance Orthopedics / Rehabilitation engin
Pavlos NikolopoulosEnseignement et PhD Cours Advanced networks COM-407 Ce cours avancé en réseaux informatiques propose une exploration approfondie de la conception et du fonctionnement d'Internet. Les étudiants plongent dans l'architecture du réseau et acquièrent une compréhension pratique des principaux protocoles qui le font fonctionner.
Ian SmithPhD Université de Cambridge, 1982 Interêts 1 Contrôle actif de la forme des structures pour améliorer leur aptitude au service et leur déploiement 2 Structures biomimétiques (apprentissage, auto-diagnostic, auto-réparation) 3 Gestion de l'infrastructure par l'identification structurale 4 Applications avancées de l'informatique Plus de détails, voir https://www.epfl.ch/labs/imac/fr/recherche/smith_ian_fr/ 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.
