NICTA
E850677
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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| NICTA canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10216136 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: NICTA Context triple: [Gerwin Klein, employer, NICTA]
-
A.
Defence Science and Technology Group
The Defence Science and Technology Group is the Australian Government’s lead agency for applying science and technology to enhance the nation’s defence and national security capabilities.
-
B.
Australian Geospatial-Intelligence Organisation
The Australian Geospatial-Intelligence Organisation is Australia’s national agency responsible for collecting, analyzing, and distributing geospatial and imagery intelligence to support defence and national security.
-
C.
Australian Technology Network
The Australian Technology Network is a coalition of Australian universities known for their strong focus on industry engagement, applied research, and technology-oriented education.
-
D.
Australian Academy of Technological Sciences and Engineering
The Australian Academy of Technological Sciences and Engineering is a leading independent body of experts that promotes the development and application of science, engineering, and technology to benefit Australia and the world.
-
E.
Alberta Machine Intelligence Institute
The Alberta Machine Intelligence Institute (Amii) is a leading Canadian research institute and innovation hub focused on advancing artificial intelligence and machine learning through academic research, industry collaboration, and talent development.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: NICTA Target entity description: 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.
-
A.
Defence Science and Technology Group
The Defence Science and Technology Group is the Australian Government’s lead agency for applying science and technology to enhance the nation’s defence and national security capabilities.
-
B.
Australian Geospatial-Intelligence Organisation
The Australian Geospatial-Intelligence Organisation is Australia’s national agency responsible for collecting, analyzing, and distributing geospatial and imagery intelligence to support defence and national security.
-
C.
Australian Technology Network
The Australian Technology Network is a coalition of Australian universities known for their strong focus on industry engagement, applied research, and technology-oriented education.
-
D.
Australian Academy of Technological Sciences and Engineering
The Australian Academy of Technological Sciences and Engineering is a leading independent body of experts that promotes the development and application of science, engineering, and technology to benefit Australia and the world.
-
E.
Alberta Machine Intelligence Institute
The Alberta Machine Intelligence Institute (Amii) is a leading Canadian research institute and innovation hub focused on advancing artificial intelligence and machine learning through academic research, industry collaboration, and talent development.
- F. None of above. chosen
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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: NICTA Description of subject: 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.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.