Concept
Évaluation paresseuse
Personnes associées (35)
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.
Touradj Ebrahimi
Touradj EBRAHIMI received his M.Sc. and Ph.D., both in Electrical Engineering, from the Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, in 1989 and 1992 respectively. In 1993, he was a research engineer at the Corporate Research Laboratories of Sony Corporation in Tokyo, where he conducted research on advanced video compression techniques for storage applications. In 1994, he served as a research consultant at AT&T Bell Laboratories working on very low bitrate video coding. He is currently Professor at EPFL heading its Multimedia Signal Processing Group. He is also the Convenor of JPEG standardization Committee. He was also adjunct Professor with the Center of Quantifiable Quality of Service at Norwegian University of Science and Technology (NTNU)between 2008 and 2012.
Prof. Ebrahimi has been the recipient of various distinctions and awards, such as the IEEE and Swiss national ASE award, the SNF-PROFILE grant for advanced researchers, Four ISO-Certificates for key contributions to MPEG-4 and JPEG 2000, and the best paper award of IEEE Trans. on Consumer Electronics . He became a Fellow of the international society for optical engineering (SPIE) in 2003. Prof. Ebrahimi has initiated more than two dozen National, European and International cooperation projects with leading companies and research institutes around the world. He is a co-founder of Genista SA, a high-tech start-up company in the field of multimedia quality metrics. In 2002, he founded Emitall SA, start-up active in the area of media security and surveillance. In 2005, he founded EMITALL Surveillance SA, a start-up active in the field of privacy and protection. He is or has been associate Editor with various IEEE, SPIE, and EURASIP journals, such as IEEE Signal Processing Magazine, IEEE Trans. on Image Processing, IEEE Trans. on Multimedia, EURASIP Image Communication Journal, EURASIP Journal of Applied Signal Processing, SPIE Optical Engineering Magazine. Prof. Ebrahimi is a member of Scientific Advisory Board of various start-up and established companies in the general field of Information Technology. He has served as Scientific Expert and Evaluator for Research Funding Agencies such as those of European Commission, The Greek Ministry of Development, The Austrian National Foundation for Scientific Research, The Portuguese Science Foundation, as well as a number of Venture Capital Companies active in the field of Information Technologies and Communication Systems. His research interests include still, moving, and 3D image processing and coding, visual information security (rights protection, watermarking, authentication, data integrity, steganography), new media, and human computer interfaces (smart vision, brain computer interface).
He is the author or the co-author of more than 200 research publications, and holds 14 patents. Prof. Ebrahimi is a member of IEEE, SPIE, ACM and IS&T.
See the URL below for more details:
http://mmspl.epfl.ch
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.
François Maréchal
Look at the
researcher id
André Schiper
André Schiper obtenu un diplôme en physiques de l'ETHZ en 1973 et un doctorat en informatique de l'EPFL en 1980. Il est professeur en informatique à l'EPFL depuis 1985, à la tête du Laboratoire de systèmes distribués. Durant l'année académique 1992-1993, il fut en congé sabbatique à l'Université de Cornell, Ithaca, New York (travaillant avec Ken Birman and Aleta Ricciardi), et en 2004-2005 à l'Ecole Polytechnique à Palaiseau, France (travaillant avec Bernadette Charron-Bost).
Ses domaines de recherches sont dans le secteur de la dépendance des systèmes distribués, support middleware pour systèmes dépendants, techniques de réplication (incluant bases de données), communication de groupe, transactions distribuées et MANETs (réseaux mobiles ad-hoc).
Prof. Schiper est membre du comité editorial de
Distributed Computing (DC), Springer Verlag - ACM,
Transactions on Dependable and Secure Computing (TDSC), IEEE,
International Journal of Security and Networks (Inderscience).
Rachid Guerraoui
Rachid Guerraoui has been affiliated with Ecole des Mines of Paris, the Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratories and the Massachusetts Institute of Technology. He has worked in a variety of aspects of distributed computing, including distributed algorithms and distributed programming languages. He is most well known for his work on (e-)Transactions, epidemic information dissemination and indulgent algorithms.
He co-authored a book on Transactional Systems (Hermes) and a book on reliable distributed programming (Springer). He was appointed program chair of ECOOP 1999, ACM Middleware 2001, IEEE SRDS 2002, DISC 2004 and ACM PODC 2010.
His publications are available at http://lpdwww.epfl.ch/rachid/papers/generalPublis.html
Karl Aberer
Co-Founder of LinkAlong Sarl, 2017.Vice-president EPFL for Information Systems, 2012 –2016.Director of the Swiss National Centre for Mobile Information and Communication Systems NCCR MICS (mics.ch), 2005 -2012.Member of the Swiss Research and Technology Council SWTR, consulting the Swiss Federal government, 2004 - 2011.
Marilyne Andersen
Marilyne Andersen est professeure ordinaire en technologies durables de la construction et dirige le Laboratoire Performance Intégrée au Design (LIPID) qu'elle a fondé en automne 2010. Elle a été Doyenne de la Faculté de l'Environnement Naturel, Architectural et Construit (ENAC) de l'EPFL de 2013 à 2018 et est la Directrice Académique du Smart Living Lab à Fribourg. Elle co-dirige également le Student Kreativity and Innovation Laboratory (SKIL) à l'ENAC.Avant de rejoindre l'EPFL, elle était professeure assistante puis associée (tenure-track) dans le Building Technology Group du MIT, au sein du Département d'Architecture, où elle a fondé et dirigé le MIT Daylighting Lab depuis 2004. Elle a aussi été professeure invitée à la Singapore University of Technology and Design en 2019. Marilyne Andersen détient un Master ès sciences en physique et s'est spécialisée dans l'éclairage naturel durant sa thèse dans la physique du bâtiment à l'EPFL au Laboratoire d'énergie solaire et de physique du bâtiment (LESO) ainsi qu'en tant que chercheuse invitée au Building Technologies Department du Lawrence Berkeley National Laboratory en Californie. Ses recherches se situent à l'interface entre sciences, ingénierie et architecture avec une attention spécifique sur l'impact de la lumière naturelle sur les occupants d'un bâtiment. Avec un focus sur les questions de confort, de perception et de santé et leurs implications énergétiques, ces efforts de recherche visent à une intégration plus profonde de la performance lumineuse et du confort intérieur dans le processus de conception, grâce à de nouvelles synergies avec d'autres domaines scientifiques, comme la chronobiologie et les neurosciences ainsi que la psychophysique ou l'informatique et l'imagerie digitale. Elle s'appuie sur ces recherches pour les étendre à la pratique architecturale à travers la startup OCULIGHT dynamics qu'elle a co-fondée, et qui offre des services spécialisés en éclairage naturel avec un accent particulier sur les effets psycho-physiologiques de la lumière naturelle sur les occupants d'un bâtiment. Elle est l'auteure de plus de 200 articles référés publiés dans des revues scientifiques et lors de conférences internationales, ainsi que la lauréate de plusieurs bourses et prix dont: le Daylight Award for Research (2016), onze prix et distinctions pour ses publications (2009, 2011, 2012, 2015, 2018, 2019, 2021) dont le Taylor Technical Talent Award 2009 décerné par la Illuminating Engineering Society, le 3M Non-Tenured Faculty Award (2009), le Mitsui Career Development Professorship au MIT (2008) et le prix EPFL de la Fondation Chorafas en durabilité attribué pour sa thèse (2005). Ses travaux de recherche ou d'enseignement ont été soutenus par des organisations professionnelles, institutionnelles et industrielles tels que les Fonds National pour la Recherche Scientifique (en Suisse et aux USA), la fondation Velux, le programme Européen Horizon 2020, la Boston Society of Architects, la MIT Energy Initiative et InnoSuisse. Elle a été la directrice et responsable académique de l'équipe suisse et son projet NeighborHub, qui a gagné la compétition U.S. Solar Decathlon 2017 avec 8 podiums sur 10 épreuves. Elle est membre du Conseil de la Fondation LafargeHolcim pour la construction durable et dirige son Comité Académique. Elle est également membre du conseil éditorial de la revue scientifique Building and Environment chez Elsevier ainsi que des revues LEUKOS (de la Illuminating Engineering Society) et Buildings and Cities chez Taylor et Francis. Elle est Experte pour le Conseil d'Innovation InnoSuisse ainsi que membre fondatrice et membre du Conseil de la Fondation Culture du Bâti (CUB). Elle est aussi membre fondatrice de la Daylight Academy et membre active de plusieurs comités de l'Illuminating Engineering Society (IES) et de la Commission Internationale de l'Eclairage (CIE).
Pierre Dillenbourg
Ancien instituteur primaire, Pierre Dillenbourg obtient un master en Sciences de lEducation (Université de Mons, Belgique). Dans son projet de master en 1986, il est l'un des premiers au monde à appliquer les méthodes de 'machine learning' à l'éducation, afin de développer un 'self-improving teaching system'. Ceci lui permettra de débuter une thèse de doctorat en informatique à l'Université de Lancaster (UK) dans le domaine des applications éducatives de lintelligence artificielle. Il a été Maître dEnseignement et de Recherche à lUniversité de Genève. Il rejoint l'EPFL en 2012, où Il fut le directeur du Centre de Recherche sur l'Apprentissage, la formation et ses technologies(CRAFT), puis académique du Centre pour l'Education à l'Ere Digitale (CEDE) qui met en oeuvre la stratégie MOOC de l'EPFL (plus de 2 millions d'inscriptions). Il est actuellement professeur ordinaire en technologies de formation aux sein de la faculté Informatique et Communications et dirige laboratoire d'ergonomie éducative (CHILI). Depuis 2006, il a aussi été le directeur de DUAL-T, la 'leading house' dédiée aux technologies pour les systèmes de formation professionnelle duale. Il a fondé plusieurs start-ups dans l'éducation et rejoint plusieurs conseils d'administration. En 2017, Il a créé avec des collègues le 'Swiss EdTech Collider', un incubateur qui rassemble 80 start-ups dans le domaine des technologies éducatives. En 2018, ils ont lancé LEARN, le centre EPFL pour les sciences de l'apprentissage, lequel regroupe les initiatives locales en innovation éducative. Pierre est un 'inaugural fellow of the International Society of Learning Sciences'. Il est actuellement le Vice-Président Associé pour l'Education à l'EPFL.