Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
Concept
Ehud Shapiro
Summary
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.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.