Recent work

On Compass and Straightedge, Alaxon, May  2013.  (“על סרגל ומחוגה, כתב העת הדיגיטלי “אלכסון)

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.


Recent Projects

Computer Science Unplugged: (Hebrew) a series of games and activities that teach children principles of scientific reasoning. Each game takes a topic — cryptography, compilation, logic gates, spanning trees, etc. — and brings it to life through puzzles, stories and magic (the use of computers is prohibited). In collaboration with the Computer Science Unplugged project of Tim Bell, Ian Witten, and Mike Fellows. Joint work with Prof. Benny Chor. This work is supported by a research grant by Google.

The Visual Computer (Vic): An interactive simulation of a simple Von Neumann machine (software + lectures stack). Provides a hands-on tour of fundamental ideas underlying the design of digital computers. As a side-effect of this tour, one also gains a friendly introduction to low-level programming. Suitable for supporting a brief yet rigorous “How Computers Work” module, typically included in introductory programming courses in university and K12 settings.


Selected older publications

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