Two new PhD students started on the Mercedes project: Mohsen Safari and Fauzia Ehsan.

Mohsen's project will contribute to further improvement of the verification of GPU programs in VerCors. Fauzia's project will focus on the effective use of abstractions to reason about concurrent or distributed programs, using VerCors.