Guus Bosman

software engineering director


You are here

dailylife

A morning in Amsterdam

Went to pick up Daniel from the train. He told us that he would arrive at 9:30 but as always he was late (see also Jerry's comment). Both Richard and Jerry were there. It has been a while since I saw all of them but tonight we'll play games in Jerry's place.

Daniel arrived at 9:45, we had coffee in the Burger King. I had an appointment at 11:00 with my teacher at the CWI. Unfortunately I missed the first bus because the busstop is at a new place. In the bus on the way I met Marjolein. We had an ultra-short chat :)

The teacher, Wan Fokkink, gave me an introduction to the course and we made some practical arrangments. An important aspect of the course is writing specifications and verifying them using µCRL. It's a process algebra that support abstract data types. It's a quite interesting field, and I'm looking forward to study it.

Recent comments

Recently read

Books I've recently read: