News & Events פרופ’ יוסי גיל ומר תומר לוי זכו בפרס על מאמר מצטיין ECOOP 2016 The winning article is Formal Language Recognition with the Java Type Checker