Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Ehud Shapiro
Résumé
Ehud Shapiro (אהוד שפירא; born 1955) is an Israeli scientist, artist, entrepreneur who is Professor of Computer Science and Biology at the Weizmann Institute of Science. With international reputation, he made fundamental contributions to many scientific disciplines, laying in each a long-term research agenda by asking a novel basic question and offering a first step towards answering it, including how to computerize the process of scientific discovery, by providing an algorithmic interpretation to Karl Popper's methodology of conjectures and refutations; how to automate program debugging, by algorithms for fault localization; how to unify parallel, distributed, and systems programming with a high-level logic-based programming language; how to use the metaverse as a foundation for social networking; how to devise molecular computers that can function as smart programmable drugs; how to uncover the human cell lineage tree, via single-cell genomics; how to support digital democracy, by devising an alternative architecture to the digital realm.
Shapiro was also an internet pioneer, entrepreneur, and a pioneer and proponent of digital democracy.
Shapiro is the founder of the Ba Rock Band and a founder of the Israeli political party "Democratit". He is a winner of two ERC (European Research Council) Advanced Grants.
Born in Jerusalem in 1955, Shapiro became acquainted with the philosophy of science of Karl Popper through a high-school project supervised by Moshe Kroy from the Department of Philosophy, Tel Aviv University. In 1979, Shapiro completed his undergraduate studies in Tel Aviv University in mathematics and philosophy. Shapiro's PhD work with Dana Angluin in computer science at Yale university attempted to provide an algorithmic interpretation to Popper's philosophical approach to scientific discovery, resulting in both a computer system for the inference of logical theories from facts; and a methodology for program debugging, developed using the programming language Prolog.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.