עברית

Prof. Shimon Schocken

Efi Arazi School of Computer Science Ph.D., Wharton School, University of Pennsylvania

IDB Chair of Information Technologies and Founding Dean of Efi Arazi School of Computer Science

  • Shimon Schocken is the founding dean of the Efi Arazi School of Computer Science. He was a tenured professor at NYU (1985-1995), a visiting professor at Harvard (2005), Stanford (2012), and Princeton (2023), and chairman of the Israeli ministry of education's computer science committee. Some of his work is described in a best-selling MIT Press book and two TED talks. The "Nand to Tetris" course that he developed is taught in 400+ universities, and is listed in Coursera's Top Rated Courses. Shimon is co-founder of Matific, a software company whose award-winning math learning games are used in 60+ countries and in about half of the schools in Israel. Shimon is co-founder and academic director of the Google-Reichman School of Technology.

  • Taming Complexity in Large Scale Systems Projects , SIGCSE 2012.


    Virtual Machines: Abstraction and Implementation, Proceedings of ITiCSE 2009.


    A Synthesis Course in Hardware Architecture, Compilers, and Software Engineering, with Noam Nisan and Michal Armoni, Proceedings SIGCSE 2009.


    Sluggish Data Transport is Faster than ADSL, Annals of Improbable Research, Volume 11, Issue 4, 2005.


    Standardized Frameworks for Distributed Learning, Journal of Asynchronous Learning Networks, June 2001.


    Neural Networks for Decision Support (invited article). Encyclopedia of Computer Science and Technology, Marcel Dekker Publishing: New York, 1997. With Roger Stein and Vasant Dhar.


    Neural Networks for Decision Support: Problems and Opportunities. Decision Support Systems, 11(1), 1994. With Gad Ariav.


    Toward a Logical/Physical Theory of Spreadsheet Modeling. ACM Transactions on Information Systems 13(1), 1994. With Thomas Isakowitz and Henry Lucas.


    Reframing Decision Problems Using Graph-Grammars. Information Systems Research, 4(1), 1993. With Christopher Jones.



    On the Use of the Dempster-Shafer Model in Information Indexing and Retrieval Applications. International Journal of Man-Machine Studies, 39(5), 1993. With Robert Hummel.


    Multilayer Feedforward Networks With Non-Polynomial Activation Functions Can Approximate Any Continuous Function. Journal of Neural Networks, 6(3), 1993.
    With Moshe Leshno, Vladimir Lin and Alan Pinkus.


    An Experimental Comparison of Two Rule-Based Belief Languages. Information Systems Research, 4(4), 1993. With Yu-Ming Wang.


    Prolog Meta-Interpreters for Rule-Based Reasoning Under Uncertainty. Decision Support Systems, 6(2), 1990. With Tim Finin.


    Artificial Intelligence Dialects of the Bayesian Belief Revision Language. IEEE Transactions on Systems, Man and Cybernetics, 19(5), 1989. With Paul Kleindorfer.


    Probabilistic Rule-Based Inference Systems: In: Uncertainty in Artificial Intelligence, Lemmer, J.F. and Kanal, L.N., (Eds.), North-Holland, 1988