CISTER researcher organizes lectures in Lulea University of Technology
27, Nov, 2015
CISTER Researcher David Pereira, in collaboration with Prof. Per Lindgren of the Lulea University of Technology, organised and lectured an introductory course on deductive program verification, from the 22nd to the 27th of November. This is a PhD-level course for which the student who pass the class will get credits for their individual PhD plans. In this course, David Pereira was responsible for the theoretical classes, and in the near future, he will be involved in the evaluation of the practical works that will be assigned to the students.
