Concepedia

Author

Derek M. McAuley

Microsoft Research (United Kingdom)

Also Known As

Derek M. McAuley

2

Publications

18

Citations

2

H-Index

7

Concepts

All Affiliations

Microsoft Research (United Kingdom)
DM

About

Derek M. McAuley is an author at Microsoft Research (United Kingdom) specializing in automated reasoning, software engineering, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

16

2

Computer Science

1

1

16

3

Data Science

1

1

16

4

Software Analysis

1

1

16

5

Software Engineering

1

1

16

Derek M. McAuley

×

1

Publications

16

Citations

1

H-Index

YearCitations

Page 1