University of Ottawa
Software systems we can trust
AI for software engineering automation
Software engineering for AI-enabled systems
*Nanda (nuhn-duh) means "A quest for knowledge" in the Algonquin language.
Welcome to the homepage of the Nanda Laboratory at the School of Electrical Engineering and Computer Science (EECS), University of Ottawa, supported by the Canada Research Chairs program, the NSERC discovery grant program, the Mitacs accelerate program, and industry partnerships.
Nanda researchers investigate novel, practical, and automated means to ensure that software systems are trustworthy. Example techniques on which we conduct research include automated software testing and analysis (including machine learning software), security analysis and auditing, requirements engineering, regulatory compliance, and quality assurance.
Our overall goal is to devise automated means to ensure that software-intensive systems are dependable, that is reliable, secure, and safe. What this means in practice varies greatly according to context and application domains, and there is therefore no silver bullet that fits all needs. To achieve this goal, we focus on applying Artificial Intelligence techniques such as machine learning, natural language processing, and evolutionary computing, to enable effective and scalable automation.
Our research focuses on practical and scalable solutions, developed in close collaboration with industry and public partners.
We are still in the process of forming new partnerships with industry and public actors. Please contact us if you are interested.
Our university is located on unceded Algonquin, Anishinabek territory. The name of our lab reflects this historical fact.