Ehud Shapiro | |
---|---|
Born | 1955 Jerusalem, Israel |
Alma mater | Yale |
Scientific career | |
Institutions | Weizmann Institute of Science |
Thesis | Algorithmic Program Debugging (1982) |
Doctoral advisor | Dana Angluin[1] |
Doctoral students | Aviv Regev |
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 contributions to many scientific disciplines,[3] laying in each a long-term research agenda by asking a 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 early internet entrepreneur,[11] and a 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]
inductive
was invoked but never defined (see the help page).debug
was invoked but never defined (see the help page).concurrent
was invoked but never defined (see the help page).turing
was invoked but never defined (see the help page).Gil
was invoked but never defined (see the help page).Frumkin
was invoked but never defined (see the help page).gdd
was invoked but never defined (see the help page).