NICTA
E850677
Centre of Excellence
information and communications technology research organisation
research centre
NICTA (National ICT Australia) was an Australian research centre of excellence focused on information and communications technology, known for its work in areas such as formal methods, software systems, and data analytics.
Statements (30)
| Predicate | Object |
|---|---|
| instanceOf |
Centre of Excellence
ⓘ
information and communications technology research organisation ⓘ research centre ⓘ |
| abbreviation | NICTA NERFINISHED ⓘ |
| collaboratesWith |
Australian universities
ⓘ
industry partners ⓘ |
| country | Australia ⓘ |
| field |
computer science
ⓘ
data analytics ⓘ formal methods ⓘ information and communications technology ⓘ software engineering ⓘ |
| focus |
ICT research
ⓘ
commercialisation of research ⓘ industry collaboration ⓘ |
| fullName | National ICT Australia NERFINISHED ⓘ |
| knownFor |
contributions to seL4 microkernel verification
ⓘ
data analytics research ⓘ embedded and real-time systems research ⓘ formal verification of software systems ⓘ software systems research ⓘ |
| languageOfWork | English ⓘ |
| locationCountry | Australia NERFINISHED ⓘ |
| mergedInto | Data61 NERFINISHED ⓘ |
| parentOrganisation | CSIRO NERFINISHED ⓘ |
| purpose |
advance ICT research in Australia
ⓘ
develop ICT-based innovations for economic and social benefit ⓘ |
| sector | public research ⓘ |
| status | defunct ⓘ |
| type | non-profit research organisation ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.