Concepedia

Author

Donald Sannella

University of EdinburghORCID

Also Known As

D. Sannella, D. T. Sannella, D.T. Sannella, DONALD SANNELLA, DONALD T. SANNELLA, Don Sannella, Donald Sannella, Donald T. Sannella, Sannella, Donald

165

Publications

3.6K

Citations

30

H-Index

34

Concepts

All Affiliations

University of EdinburghPolish Academy of SciencesInstitute of Computer ScienceUniversity of WarsawCarnegie Mellon University
DS

About

Donald Sannella is an author at University of Edinburgh specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

14

17

1.6K

2

Computer Science

10

11

1K

3

Language Studies

2

2

64

4

Linguistics

2

2

64

5

Data Science

1

1

12

Donald Sannella

×

23

Publications

1.8K

Citations

17

H-Index

YearCitations

Page 1