Ehud Shapiro (Hebrew: אהוד שפירא; born 1955) is an Israeli scientist, entrepreneur, artist, and political activist who is Professor of Computer Science and Biology at the Weizmann Institute of Science.[2] With international reputation, he made fundamental contributions to many scientific disciplines,[3] 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;[4][5][6] how to automate program debugging, by algorithms for fault localization;[7][8] how to unify parallel, distributed, and systems programming with a high-level logic-based programming language;[9][10] how to use the metaverse as a foundation for social networking;[11] how to devise molecular computers that can function as smart programmable drugs;[12][13][14] how to uncover the human cell lineage tree, via single-cell genomics;[15][16][17] how to support digital democracy, by devising an alternative architecture to the digital realm grassroots.[18][19][20][21][22]
Shapiro was also an internet pioneer, entrepreneur,[11] and a pioneer and proponent of global digital democracy.[18][22]
Shapiro is the founder of the Ba Rock Band[23] and a founder of the Israeli political party "Democratit".[24] He is a winner of two ERC (European Research Council) Advanced Grants.[25][26]
^Ehud Shapiro at the Mathematics Genealogy Project
^http://www.wisdom.weizmann.ac.il/~udi/ Ehud Shapiro at the Weizmann Institute
^https://www.youtube.com/watch?v=GgS9myPsGUw From biomolecular computing to internet democracy | Ehud Shapiro at Davos World Economic Forum,
^Popper, Karl R. (Karl Raimund), 1902-1994. Conjectures and Refutations : the Growth of Scientific Knowledge. New York :Harper & Row, 19681965.
^Cite error: The named reference inductive was invoked but never defined (see the help page).
^Muggleton, Stephen and De Raedt, Luc, Inductive logic programming: Theory and methods.The Journal of Logic Programming, 19, 629-679. Elsevier, 1994.
^Cite error: The named reference debug was invoked but never defined (see the help page).
^Caballero, Rafael and Riesco, Adrian and Silva, Josep, A survey of algorithmic debugging. ACM Computing Surveys (CSUR), 50, 4, 1-35. ACM New York, NY, USA, 2017.
^Cite error: The named reference concurrent was invoked but never defined (see the help page).
^Shapiro, Ehud, The family of concurrent logic programming languages. ACM Computing Surveys (CSUR), 21, 3, 413-510. ACM New York, NY, USA, 1989.
^ abA Real Success Out of Virtual Places, WIS Wonder Wander, October 1, 1996
^Cite error: The named reference turing was invoked but never defined (see the help page).
^Cite error: The named reference Gil was invoked but never defined (see the help page).
^Condon, Anne, Automata make antisense. Nature, 429, 6990, 351-352. Nature Publishing Group UK London, 2004.
^Cite error: The named reference Frumkin was invoked but never defined (see the help page).
^A 4D Human Atlas: Charting Human Development and Ageing in Health and in Disease
^Callaway, Ewen and others, The trickiest family tree in biology. Nature, 547, 7661, 20-2022. Nature, 2017.
^ ab"Shapiro, Ehud. Point: foundations of e-democracy". Communications of the ACM 61.8 (2018): 31-34. arXiv:1710.02873. doi:10.1145/3213766. S2CID 215731619.
^Ehud Shapiro, Nimrod Talmon, Foundations for Grassroots Democratic Metaverse. arXiv:2203.04090
^Cite error: The named reference gdd was invoked but never defined (see the help page).
^Schuler, Douglas, Counterpoint: e-democracy won't save democracy. democracy will save democracy. Communications of the ACM, 61, 8, 34-36. ACM New York, NY, USA, 2018.
^ abEhud Shapiro, A Grassroots Architecture to Supplant Global Digital Platforms by a Global Digital Democracy. arXiv:2404.13468
^http://www.ba-rock.co.il/ The official website of Ba Rock
^"The official website of "Democratit"".
^Doctor in a cell | ERC
^"Laying the Biological, Computational and Architectural Foundations for Human Cell Lineage Discovery".
EhudShapiro (Hebrew: אהוד שפירא; born 1955) is an Israeli scientist, entrepreneur, artist, and political activist who is Professor of Computer Science...
MITI would consider an investment in a new "sixth generation" project. EhudShapiro captured the rationale and motivations driving this project: "As part...
where she completed her PhD under the supervision of Eva Jablonka, and EhudShapiro. In 2020, Regev became the Head and Executive Vice President of Genentech...
Developed in 2003 in the Weizmann Institute of Science by professor EhudShapiro and his team. RSA public key encryption, introduced by Adi Shamir with...
around 1970, adopting an approach of generalising from examples. In 1981, EhudShapiro introduced several ideas that would shape the field in his new approach...
Programming, 22 (6): 776–858, doi:10.1017/S1471068422000102, hdl:10174/33387 Shapiro, Ehud Y.; Sterling, Leon (1994). The Art of Prolog: Advanced Programming Techniques...
of IC-Prolog. Later versions of concurrent logic programming include EhudShapiro's Concurrent Prolog and Ueda's Guarded Horn Clause language. The development...
1991, pp. 199–254. Shapiro, Ehud Y. (1983). Algorithmic program debugging. Cambridge, Mass: MIT Press. ISBN 0-262-19218-7 Shapiro, Ehud Y. "The model inference...
Optimal and VLSI Implementable, University of Kentucky. Sterling, Leon; EhudShapiro (1986). The Art of Prolog. Cambridge, MA: MIT. ISBN 0-262-19250-0. Pitrat...
termed a “Doctor in a cell”. The concept was first presented in 1998 by EhudShapiro from the Weizmann Institute as a conceptual design for an autonomous...
mathematician, well known for logic; Wolf Prize in Mathematics winner (2001) EhudShapiro – computer scientist; Concurrent Prolog, DNA computing pioneer Moshe...
Ruslan Salakhutdinov Arthur Samuel Roger Schank Anil Seth Aaron Sloman EhudShapiro Herbert A. Simon Alan Turing Massimiliano Versace Terry Winograd Patrick...
professors Einat Albin, Shikma Bressler, Asya Rolls, Michal Schwartz and EhudShapiro, that highlighted the "status of Israeli scholarship on the global stage"...
Award (2002) Saharon Shelah – logic; Wolf Prize in Mathematics (2001) EhudShapiro – Concurrent Prolog, DNA computing pioneer Moshe Y. Vardi – computer...
Cryptocurrency and Self-Sovereign Identity System" (PDF). GitHub. Gal Shahaf; EhudShapiro; Nimrod Talmon (October 2020). Genuine Personal Identifiers and Mutual...
Application of the Theory of Computational Complexity to the Study of Inductive Inference (1976) Doctoral advisor Manuel Blum Doctoral students EhudShapiro...
Award (2002) Saharon Shelah – logic; Wolf Prize in Mathematics (2001) EhudShapiro – Concurrent Prolog, DNA computing pioneer Moshe Y. Vardi – computer...
EhudShapiro during his PhD research at Yale University, as introduced in his PhD thesis, selected as a 1982 ACM Distinguished Dissertation. Shapiro implemented...
Proceedings of the 1986 ACM 14th Annual Conference on Computer science. EhudShapiro (Editor). Concurrent Prolog MIT Press. 1987. Robert Kowalski. The Early...
an essential element. Professor Sterling is the co-author, along with EhudShapiro, of the computer science textbook The Art of Prolog. Leon's home page...
is used to guide a refinement-graph search. Unlike the searches of EhudShapiro's model inference system (MIS) and J. Ross Quinlan's FOIL, Progol's search...
Intelligence in Education (IJAIED). 8: 30–43. Retrieved 2012-08-18. Shapiro, Ehud Y (1981). "The Model Inference System". Proceedings of the 7th international...
Global Information