BSc thesis

Rewrite Rules supporting Conditional Statements for Automatic Parallelization.


Hurlin recently proposed a technique for automatic parallelization based on separation logic. This paper proposes an enhancement of the mechanism for situations where conditional statements are used in specifications of programs. With the proposed changes, specifications containing conditional statements are supported and programs can be automatically parallelized. Two approaches are identified and a preferable one is suggested. The proposed extension is illustrated by an exemplifying program and has been implemented.

Will be presented at The 11th Twente Student Conference on IT, to be held June 29, 2009

Solar transit of Atlantis and the Hubble space telescope

In my childhood during summertime I was tracking sunspots in the backyard of my dad. In that time I used a rather small telescope, protecting my eyes with darkened negatives, sketching the movement of the spots in a notebook.

Thierry Legault managed to bring back these memories by shooting these incredible pictures of the Atlantis on a repair mission of the Hubble telescope.



Free Microsoft Certification

I have been waiting for this for years: Free Microsoft Certificates for students.

Check it out on DreamSpark.

Claim your free Microsoft Technical Specialist exam voucher code and get certified before June 30, 2009!

My new phone!

It was about time to upgrade my old phone to a next gen: Sony Ericsson XPERIA X1.

Get Adobe Flash player

I love the combination of the bright screen, QWERTY keyboard and classy design. Downside is storage size of just 500MB. So I ordered a 16GB Micro SDHC (SanDisk) 🙂

For internet I will have to wait another two weeks to have my new Vodafone plan activated.

A future vision

Envision how emerging technologies, evolving trends, and global change might come together to improve our lives at work and home across multiple real life scenarios. by Office Labs

<br /><a href="" target="_new" title="Future Vision Montage">Video: Future Vision Montage</a>

Read the full article.

The Crisis of Credit Visualized

“The goal of giving form to a complex situation like the credit crisis is to quickly supply the essence of the situation to those unfamiliar and uninitiated. This project was completed as part of my thesis work in the Media Design Program, a graduate studio at the Art Center College of Design in Pasadena, California.” By Jonathan Jarvis.

How many dimensions can you imagine?

Glenn Marshall Computer Art

Geweldige animaties van Glenn Marshall, er schijnt een hoop wiskunde te zitten achter zijn werk.


Het is weer zover, tentamens, voor de gezonde SOG (Studie Ontwijkend gedrag) een filmpje ter inspiratie.

Edit: Hij is stuk, dan maar even doorklikken naar de maker.

New Year in Yamal

Every year I travel one time-zone further east than last year, this year Sveta and I chose for Salekhard (GMT+5), a city exactly located at the polar circle in Arctic Urals in Russia.