Concept
Software verification and validation
Personnes associées (15)
Viktor Kuncak
Viktor 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.
Paolo Ricci
Paolo Ricci earned his masters degree in nuclear engineering at the Politecnico di Torino, Turin (Italy) in 2000. His doctoral studies were conducted at the Los Alamos National Laboratory, with focus on kinetic simulation of magnetic reconnection in the Earth's magnetotail. He spent two-and-a-half years as a postdoctoral researcher at Dartmouth College's Department of Physics and Astronomy, where he worked on gyrokinetic simulations of the Z pinch. He joined the EPFL's Swiss Plasma Center (SPC), as a EURATOM fellow in 2006, was named Tenure Track Assistant Professor in June 2010, and Associate Professor in August 2016. He is at the head of the SPC theory group. Paolo Ricci is the recipient of the 2016 Section de Physique Teaching Prize and of the 2021 Craie d'Or award from the EPFL physics bachelor students.
Joaquim Loizu Cisquella
Joaquim Loizu graduated in Physics at the École Polytechnique Fédérale de Lausanne, carrying out his Master thesis project at the Center for Bio-Inspired Technology, Imperial College London, on the theoretical and numerical study of the biophysics of light-sensitive neurons. In 2009, he started his PhD studies with Prof. Paolo Ricci at the Swiss Plasma Center, the major plasma and fusion laboratory in Switzerland. His thesis focused on the theory of plasma-wall interactions and their effect on the mean flows and turbulence in magnetized plasmas. He obtained his PhD in December 2013. In 2014, he joined the Max-Planck-Princeton Center for plasma research as a Postdoctoral Research Fellow, spending one year at the Princeton Plasma Physics Laboratory and one year at the Max-Planck-Institute for Plasma Physics in Greifswald, Germany. During this time, he worked on three-dimensional magnetohydrodynamics, studying the formation of singular currents and magnetic islands at rational surfaces. In 2016, he obtained a two-years Eurofusion Postdoctoral Fellowship to carry out research at the Max-Planck-Institute for Plasma Physics in Greifswald, Germany. During this time, he focused on the computation of 3D MHD equilibria in stellarators, including the possibility of magnetic islands and magnetic field-line chaos. In 2018, he joined the Swiss Plasma Center as a Scientist and Lecturer. He is also one of the leaders of the Simons Collaboration on Hidden Symmetries and Fusion Energy. His current research interests include MHD equilibrium and stability, magnetic reconnection, self-organization, non-neutral plasmas, plasma sheaths, and plasma transport in chaotic magnetic fields.