Research and Grants

AF:Small:Collaborative Research:Studies in nonuniformity, completeness, and reachability

Abstract:


Computational complexity theory classifies computational problems into various complexity classes based on the amount of resources needed to solve them. This classification is done by measuring various resources such as time, space, nonuniformity, nondeterminism, and randomness. A better understanding of the relationships among these various resources shed light on the computational difficulty of the problems that are encountered in practice. Read more about AF:Small:Collaborative Research:Studies in nonuniformity, completeness, and reachability

Category: 

ITR: Collaborative Research: Natural Language in the Development of High-Confidence Software

Abstract:


Inadequate communication of domain knowledge in natural language (such as English textual descriptions) is a major source of requirements defects in high-confidence software. Such defects can threaten lives, property, and the dependability of critical infrastructures. This research develops innovative, multi-disciplinary techniques designed expressly to identify and cope with the properties of natural language that lead to these problems. It analyses the domain-knowledge communication problem from the perspective  Read more about ITR: Collaborative Research: Natural Language in the Development of High-Confidence Software

Category: 

Pages