Concepedia

Author

Sbafi Goldwasser

MIT University

Also Known As

S Goldwasser, Sbafi Goldwasser

3

Publications

1.2K

Citations

2

H-Index

8

Concepts

All Affiliations

MIT University
SG

About

Sbafi Goldwasser is an author at MIT University specializing in computational complexity, formal verification, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

10

2

Computer Science

1

1

10

3

Automated Reasoning

1

1

10

4

Computational Complexity

1

1

10

5

Formal Methods

1

1

10

Sbafi Goldwasser

×

2

Publications

1.2K

Citations

2

H-Index

YearCitations

Page 1