Concepedia

Author

Sidney Amani

Data61

Also Known As

Amani, Sidney, SIDNEY AMANI, Sidney Amani

21

Publications

477

Citations

7

H-Index

30

Concepts

All Affiliations

Data61UNSW SydneyThe University of MelbourneUniversité Paris-SaclayCommonwealth Scientific and Industrial Research Organisation
SA

About

Sidney Amani is an author at Data61 specializing in software analysis, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

418

2

Computer Science

6

6

418

3

Computer Engineering

4

4

374

4

Compilers

2

2

44

5

Law

1

1

26

Sidney Amani

×

7

Publications

429

Citations

7

H-Index

YearCitations

Page 1