Prof. David Harel has been elected as a Fellow of the Royal Society
Prof. David Harel has been elected as a foreign associate of the National Academy of Sciences.
A new Israeli MOOC is a fun way of learning about programming and how it connects to our lives
How will we know if we can trust machine-written software? A Weizmann alumnus is showing how to test such systems reliably