One of our ex-bachelor students, Ioan-Alexandru Zambori, has graduated today. He presented his Bachelor's thesis titled "Loop Invariant Generation for Deductive Verification of Embedded Systems". Congratulations, Alex! We wish you best of luck in your future endeavors.