The goal of this seminar is to introduce students to important research results in the area of software reliability, and in particular, program analysis, software engineering, and software security. To achieve this, students will study and present research papers in the area; they will also be expected to participate in paper discussions.

During this seminar, the students will...

  • become familiar with a broad range of research results in the area of software reliability,
  • learn how to read and understand papers in the area,
  • learn how to evaluate papers in the area by highlighting limitations and suggesting possible improvements,
  • learn how to present a technical topic in the area to an audience of peers.

Students become familiar with the area through a study of key papers, reviewing papers, presenting papers to colleagues, and working individually or in groups to solve a research problem.