Concept
Finite set
Related people (29)
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.
Alireza Karimi
Alireza Karimi received his B. Sc. and M. Sc. degrees in Electrical Engineering in 1987 and 1990, respectively, from Amir Kabir University (Tehran Polytechnic). Then he received his DEA and Ph. D. degrees both on Automatic Control from Institut National Polytechnique de Grenoble (INPG) in 1994 and 1997, respectively. He was Assistant Professor at Electrical Engineering Department of Sharif University of Technology in Teheran from 1998 to 2000. Then he joined Automatic Laboratory of Swiss Federal Institute of Technology at Lausanne, Switzerland. He is currently Professor of Automatic Control and the head of "Data-Driven Modelling and Control" group. His research interests include data-driven controller tuning and robust control with application to mechatronic systems and electrical grids.
Alfredo Pasquarello
Alfredo Pasquarello studied physics at the
Scuola Normale Superiore
of Pisa and at the University of Pisa, obtaining their respective degrees in 1986. He obtained a doctoral degree at the EPFL in 1991 with a thesis on
Multiphoton Transitions in Solids
. Then, he moved to Bell Laboratories at Murray Hill (New Jersey), where he carried out postdoctoral research on the magnetic properties of carbon fullerenes. In 1993, he joined the Institute for Numerical Research in the Physics of Materials (IRRMA), where his activity involved first-principles simulation methods. In 1998, he was awarded the EPFL Latsis Prize for his research work on disordered silica materials. Succeeding in grant programs of the Swiss National Science Foundation, he then set up his own research group at IRRMA. In July 2003, he is appointed Professor in Theoretical Condensed Matter Physics at EPFL. Currently, he leads the Chair of Atomic Scale Simulation.
Lyesse Laloui
Director, EPFL Soil Mechanics LaboratoryDirector, EPFL Civil Engineering SectionEditor in Chief, ElsevierMember of the Swiss Academy of Engineering SciencesFounding Partner, Geoeg & MeduSoilActive in academic research in the following institutions: Lausanne, EPFL, Durham, Duke University, Nanjing, Hohai UniversityProfessor Lyesse Laloui teaches at EPFL, where he directs the Soil Mechanics Laboratory as well as the Civil Engineering Section. He is a founding partner of the international engineering company Geoeg, and the start-up MeduSoil. In addition, he is an adjunct professor at Duke University, USA and an advisory professor at Hohai University, China as well as honorary director of the International Joint Research Center for Energy Geotechnics in China.He is the recipient of an Advance ERC grant for his BIO-mediated GEO-material Strengthening project. Editor in Chief of the Elsevier Geomechanics for Energy and the Environment journal, he is a leading scientist in the field of geomechanics and geo-energy. He has written and edited 13 books and published over 320 peer reviewed papers; his work is cited more than 6000 times with an h-index of 39 (Scopus). Two of his papers are among the top 1% in the academic field of Engineering. He has given keynote and invited lectures at more than 40 leading international conferences. He has received several international awards (IACMAG, RM Quigley, Roberval) and delivered honorary lectures (Vardoulakis, Minnesota; G.A. Leonards, Purdue; Kersten, Minnesota). He recently acted as the Chair of the international evaluation panel of Civil and Geological Engineering R&D Units of Portugal.Nov. 2019 For further information visit www.epfl.ch/labs/lms/ ; geoeg.net ; medusoil.com
Daniel Thalmann
Prof. Daniel Thalmann is Honorary Professor at EPFL and Director of Research development at MIRALab Sarl. He has been Visiting Professor at The Institute for Media Innovation (Nanyang Technological University, Singapore) from 2009 to 2017. He is a pioneer in research on Virtual Humans. His current research interests include Real-time Virtual Humans in Virtual Reality, crowd simulation, and 3D Interaction. Daniel Thalmann has been the Founder of The Virtual Reality Lab (VRlab) at EPFL, Switzerland, Professor at The University of Montreal and Visiting Professor/ Researcher at CERN, University of Nebraska, University of Tokyo, and National University of Singapore. Until October 2010, he was the President of the Swiss Association of Research in Information Technology and one Director of the European Research Consortium in Informatics and Mathematics (ERCIM). He is coeditor-in-chief of the Journal of Computer Animation and Virtual Worlds, and member of the editorial board of 6 other journals. Daniel Thalmann was member of numerous Program Committees, Program Chair and CoChair of several conferences including IEEE VR, ACM VRST, and ACM VRCAI. Daniel Thalmann has published more than 500 papers in Graphics, Animation, and Virtual Reality. He is coeditor of 30 books, and coauthor of several books including 'Crowd Simulation' (second edition 2012) and 'Stepping Into Virtual Reality' (2007), published by Springer. He received his PhD in Computer Science in 1977 from the University of Geneva and an Honorary Doctorate (Honoris Causa) from University Paul- Sabatier in Toulouse, France, in 2003. He also received the Eurographics Distinguished Career Award in 2010 and the 2012 Canadian Human Computer Communications Society Achievement Award. Wikipedia: http://en.wikipedia.org/wiki/Daniel_Thalmann