Moria Abadi is an author at IBM Research - Haifa specializing in computer engineering, program analysis, and parallel programming.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingFormal VerificationComputer EngineeringParallel Programming
Publications per year
2018–2018
1
1
Rows per page
1–1 of 1