Scholars 2014

2014 Future - ARTIFICIAL INTELLIGENCE, THE DIGITAL MIND

LAHAV Ori

lahav ori

Tel Aviv University, The Blavatnik School of Computer Science

“Automated Reasoning in Software Development: Theory and Applications”