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
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.
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.
