I am a senior lecturer in the Department of Mathematics and Computer Science at the Open University of Israel. My main topics of interest are in logic in Computer Science and its impact on formal methods, artificial intelligence, and theory and algorithms.