A(Company · founded 1983AT&T (Israel)Raanana, Israel · att.comPart of AT&T (United States)FollowManage this pageCitations, last 5 years0Works, last 5 years0h-index3Scientists listed0Grants since 20160OverviewPeople 0Grants 0Departments 0Strongest research topicsLogic, programming, and type systems2Computer ScienceDistributed systems and fault tolerance2Computer ScienceParallel Computing and Optimization Techniques1Computer ScienceFormal Methods in Verification1Computer ScienceAdvanced Database Systems and Queries1Computer ScienceData Management and Algorithms1Computer Science