Category Archives: computer science

Curriculum Vitae; now only via LinkedIn

I finally dropped the old PDF curriculum vitae. LinkedIn has all that I need for my CV and the nice “PDF”-button gives me an easy way to email it anyone should I ever need to do that.

Wonderful, Beautiful Fractals

See them here. They are called Ducks Fractals. More cool pictures here.

The Facebook Way

An interesting post about the development process at Facebook. Read it here.

VDM workshop

I was at a VDM introduction workshop yesterday at IHA in Ã…rhus. I must admit that I was very impressed. VDM (or more precisely, VDM++) is one the most practical applicable formal methods for software development I have seen. Especially because it helps with formal validation and not just verification. In fact, I would say [...]

Cand. scient. in Computer Science

Yesterday I had my final exam, and I am now cand. scient. in Computer Science Aaah, holiday.

Tool Developer Days — DaNES Workshop

My colleagues and I worked on a mini project trying to do a UPPAAL TRON–MATLAB Simulink co-simulation. This mini project was part of a Real-Time Systems course we currently attend, and we ended up attending the Tool Developer Days workshop at Aalborg University since a lot of the researches had just attended a Simulink course [...]