Kampkoder

So the time has come to start on yet another semester and a new project. It is now my 6th semester which means that when summer commes, given that I pass all my exames and a little bit of luck, I should be able to call my self a Bachelor of Science (Bs.c).

This time we (we beeing the same group as always) will be working on a project within the area of “Sematics and Verification” under supervision of Morten Künrich.

I’m very enthusiastic so far and I think this will be a very interessting semester.