Topics in Computer Science Research and Methodology

3 credits · Graduate

This course is designed to expose graduate students to research methods, principles and design techniques in computer science, which may include evolution of fundamental ideas in computer science, theoretical foundations, formal techniques in the areas of system specification, design, verification, validation and performance analysis. The course aims to offer methods and principles widely applicable in computer science. Specific applications studied vary. Prerequisite(s): Permission of the instructor