Concept
Universal quantification
Related people (30)
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.
Jean-Pierre Hubaux
Jean-Pierre Hubaux is a full professor at EPFL and head of the Laboratory for Data Security. Through his research, he contributes to laying the foundations and developing the tools for protecting privacy in today’s hyper-connected world. He has pioneered the areas of privacy and security in mobile/wireless networks and in personalized health. He is the academic director of the Center for Digital Trust (C4DT). He leads the Data Protection in Personalized Health (DPPH) project funded by the ETH Council and is a co-chair of the Data Security Work Stream of the Global Alliance for Genomics and Health (GA4GH). From 2008 to 2019 he was one of the seven commissioners of the Swiss FCC. He is a Fellow of both IEEE (2008) and ACM (2010). Recent awards: two of his papers obtained distinctions at the IEEE Symposium on Security and Privacy in 2015 and 2018. He is among the most cited researchers in privacy protection and in information security. Spoken languages: French, English, German, Italian
Rolf Gruetter
Awards:
1999 Young Investigator Award Plenary Lectureship
, International Society for Neurochemistry
2011 Fellow
, ESMRMB
2011 Teaching Award
, Section Sciences de la Vie, EPFL
Michel Bierlaire
Born in 1967, Michel Bierlaire holds a PhD in Mathematical Sciences from the Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium (University of Namur). Between 1995 and 1998, he was research associate and project manager at the Intelligent Transportation Systems Program of the Massachusetts Institute of Technology (Cambridge, Ma, USA). Between 1998 and 2006, he was a junior faculty in the Operations Research group ROSO within the Institute of Mathematics at EPFL. In 2006, he was appointed associate professor in the School of Architecture, Civil and Environmental Engineering at EPFL, where he became the director of the Transport and Mobility laboratory. Since 2009, he is the director of TraCE, the Transportation Center. From 2009 to 2017, he was the director of Doctoral Program in Civil and Environmental Engineering at EPFL. In 2012, he was appointed full professor at EPFL. Since September 2017, he is the head of the Civil Engineering Institute at EPFL. His main expertise is in the design, development and applications of models and algorithms for the design, analysis and management of transportation systems. Namely, he has been active in demand modeling (discrete choice models, estimation of origin-destination matrices), operations research (scheduling, assignment, etc.) and Dynamic Traffic Management Systems. As of August 2021, he has published 136 papers in international journals, 4 books, 41 book chapters, 193 articles in conference proceedings, 182 technical reports, and has given 195 scientific seminars. His Google Scholar h-index is 68. He is the founder, organizer and lecturer of the EPFL Advanced Continuing Education Course "Discrete Choice Analysis: Predicting Demand and Market Shares". He is the founder of hEART: the European Association for Research in Transportation. He was the founding Editor-in-Chief of the EURO Journal on Transportation and Logistics, from 2011 to 2019. He is an Associate Editor of Operations Research. He is the editor of two special issues for the journal Transportation Research Part C. He has been member of the Editorial Advisory Board (EAB) of Transportation Research Part B since 1995, of Transportation Research Part C since January 1, 2006.
Jan Van Herle
Born in Antwerp, Belgium. In Switzerland since 1983. Became Swiss citizen in 2004 out of conviction of principles of democracy and bottom-up participation. No double nationality. Village Council Member for 2 five-year mandates in 2006-2016.
1987 : Chemist from Basel University (CH).
1988 : Post-graduate IT diploma from Basel Engineering School.
1989 : Industry internship ABB Baden (CH).
1990-1993 : PhD Thesis EPFL, on Solid Oxide Fuel Cell cathode reaction mechanisms.
1994-1995 : Japanese Postdoctoral Fellowship in Tsukuba, Japan, on ceramic powders.
1995-2000 : Researcher at EPFL, Dpt. Chemistry : project responsible in PPM2 (materials), FP4-BriteEuram, NEDO (Japan), Swiss Gas Union (CH, oxygen membranes).
1998-2000 : Masters in Energy Technology, EPFL.
2000 : Cofounder of HTceramix SA (EPFL spin-off), now based in Yverdon (14 employees). Taken over by SOLIDpower in 2007, now 250 employees with 70 MCHF raised.
2000 : 1st Assistant and lecturer at LENI (STI-IGM) : fuel cell group responsible, projects on biogas (Federal Energy Office), woodgas (CCEM), fuel cell stacking (CTI, FP6, FNS), ceramic separation membranes (COST, FNS), microtubes (STI Seed), stability/lifetime/reliability in fuel cells (Electricité de France, swisselectric research). Currently 4 Ph D theses ongoing, 14 theses concluded, of which 5 colateral with SB and IMX. M.E.R. since Nov 2008.
Total funding raised so far >18 MCHF (50% as main applicant; 30% outside CH; 20% industry).
Scientific output : >135 peer-reviewed publications, >120 conference papers, 40 invited presentations (8 keynotes), >70 granted proposals.
Fluent in 5 languages (Dutch, French, German ( Swiss-german), English, Spanish).
Karen Scrivener
De 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.