Schedule, syllabus and examination date

Choose semester

Course content

The course introduces some fundamental notions and techniques for specification and reasoning about parallel processes, with regard to tightly cooperating threads as well as distributed and object-oriented systems.

Learning outcome

The course gives an insight into how to specify, develop and analyse a parallel system with regard to given desired properties.

In addition, each PhD student will be given an extended curriculum within the field/research area of the course. The syllabus must be approved by the lecturer so that the student can be admitted to the final exam.

Admission

PhD candidates from the University of Oslo should apply for classes and register for examinations through Studentweb.

If a course has limited intake capacity, priority will be given to PhD candidates who follow an individual education plan where this particular course is included. Some national researchers’ schools may have specific rules for ranking applicants for courses with limited intake capacity.

PhD candidates who have been admitted to another higher education institution must apply for a position as a visiting student within a given deadline.

Prerequisites

Formal prerequisite knowledge

None

Recommended previous knowledge

Overlapping courses

10 credits overlap with INF4140 - Models of concurrency

9 credits with INF3140 - Models of concurrency (discontinued) and 3 credits with IN 305

Teaching

2 hours of lectures and 2 hours of problem sessions per week. Mandatory assignments must be completed during the course. Rules for mandatory assignments.

Examination

A written examination (3 hours) at the end of the semester. The mandatory assignments must be approved prior the exam. Note that the exam in INF9145 will be more extensive than the one in INF4140.

Grading scale

Grades are awarded on a pass/fail scale. Read more about the grading system.

Explanations and appeals

Resit an examination

Students who can document a valid reason for absence from the regular examination are offered a postponed examination at the beginning of the next semester.

Re-scheduled examinations are not offered to students who withdraw during, or did not pass the original examination.

Withdrawal from an examination

If you wish to withdraw from the exam you must do so in Studentweb at least two weeks prior to the deadline. Failure to do so will be counted as an examination attempt.

It will also be counted as one of your three attempts to sit the exam for this course, if you sit the exam for one of the following courses: INF4140.

Other

It is strongly recommended to attend the first lecture since it will be given important information.

Facts about this course

Credits

10

Level

PhD

Teaching

Every autumn

Examination

Every autumn

Teaching language

English