Kampkoder

Tomorrow I will be leaving Aalborg to attend the Lazer summer school on software verification. The summer school is held on Elba island of the cost of Tuscany, Italy and is hosted by several prominent researchers in the area of software verification.

I will be attending the summer school together with my fellow student and co-author of my master thesis Uffe Sørensen and Ph.D Stud. Shuhao Li, who like Uffe and I are working under the supervision of Prof. Kim G. Larsen in the CISS group at Aalborg University.

I’m expecting this to be a enriching experience and I will let you know more at a later time.

Update:

We are here and it’s perfect. Even more pictures may be found here – be warned, it may take a long time to load!