An Ran Chen

Area of Study / Keywords

Software Engineering Automated Debugging Software Testing Program Analysis AI for Software Engineering Large Language Models for Software Engineering

The SODA Nexus Lab at the University of Alberta conducts research in software engineering, including automated debugging, software testing, program analysis, AI for software engineering, and LLM-based software engineering. We welcome inquiries from students interested in research opportunities in these areas.

Visit the SODA Nexus Lab for current projects, publications, lab members, and research opportunities.

ECE 422 - Reliable and Secure Systems Design

Causes and consequences of computer system failure. Structure of fault-tolerant computer systems. Methods for protecting software and data against computer failure. Quantification of system reliability. Introduction to formal methods for safety-critical systems. Computer and computer network security. Prerequisite: CMPUT 301. Corequisite: ECE 487. Credit may be obtained in only one of CMPE 420 or ECE 422.

ECE 720 - Advanced Topics in Software Engineering and Intelligent Systems

Browse more courses taught by An Ran Chen