link

October 27, Tuesday
12:00 – 14:00

The Invisible Programmers
Computer Science seminar
Lecturer : Prof. Moti Ben-Ari
Affiliation : Weizmann Institute of Science
Location : 202/37
Host : Shlomi Dolev
The visibility of personal computers hides the fact that most software development is done for systems in industry and business, and not for standalone software packages. Programmers and engineers in these environments are required to have a different set of skills and a different approach to software than are currently taught in most computer science (CS) curricula. Furthermore, the talk of a hi-tech, internet-driven revolution during the last decade is inaccurate from a historical perspective, and this loss of perspective has led to demands for an artifact-driven CS curriculum. A comparison of the ACM/IEEE CC2001 curriculum with the curriculum of a traditional engineering discipline points to what I believe the future of CS education should be. The talk will conclude with a survey of my work on teaching concurrent and distributed computation using model checking. I will show how this advanced technique can be presented to undergraduate and even high-school students.