Paul's Web Pages

Master Project Finished

Paul van Tilburg — 2007-06-06T00:00:00+02:00

Yesterday, I have completed my master project with a presentation of my work and a defence of my thesis. I got awarded a 9 (out of 10) for my entire project. It is a result that I am very happy with and am very proud of. This result will allow me to get my Master of Science degree with honours on June 19, after the exam committee has checked everything. Note that the diploma will be handed out not on June 19, but on August 28, because I am on my holiday and at Debconf in Edinburgh the next two weeks.

Thanks everyone for attending my presentation, joining the “celebration lunch” afterwards, and all the encouraging words and kudos. :-)

Master Project Take 2 and 3

Paul van Tilburg — 2007-05-30T00:00:00+02:00

I just realised that I forgot to post about take 2, so I’ll combine it with this post about take 3. The past five months I’ve been busy with examining the effect of restriction on CCS with parallelism. We decided to do this in two steps. First (take 2) we considered interleaving of actions, and then (take 3) we added communication. The case with only interleaving of actions went smoothly; it worked out as a nice extension of the case without parallelism. However, when we looked at the case with interleaving and communication, it started to become troubling. I ran into all kind of complications and the risk of failure I described in a previous post seemed to come true. However, I think we managed quite well to catch a large part of the problems and describe them, and also offer possible solutions. In the end, I’m quite happy of the result.

So, today I can present the final version of my Master’s Thesis: “Finite Equational Bases for CCS with Restriction”. Yay! I have just submitted it for reproduction. The final presentation of my project will take place June 5, 2007 at 10:00 in the main building of the university, HG 6.29. If you’re interested and are able to attend, consider yourself invited. I want to thank Bas Luttik for his large amount of feedback, clear explanations and guidance, without him the project wouldn’t have worked out as well as it did now.

Almost finished, 6 days remaining…

Schedule Spring 2007

Paul van Tilburg — 2007-04-06T00:00:00+02:00

Since Spring is well underway, I wanted to post a sort of schedule summary of my activities in the following three months. First of all, I have registered and booked the flight for Debconf 7, yay! I can stay with friends of mine that I know from the time I worked in Edinburgh. I want to thank Krzysztof for this offer, it saves a lot of money and it will be nice to catch up.

Besides Debconf, there are also several nice parties and events this spring, and of course the completion of my master project.

2007-04-19: Finish my Master Project paper
2007-05-16: Finish my Master thesis
2007-05-17: A State of Trance 300 celebration outdoor
2007-06-01: Master Project presentation (date not definite)
2007-06-12 — 2007-06-26: Attend Debconf7, holiday in Edinburgh
2007-07-19: Official graduation date (ceremony postponed till 2007-08-28)
2007-07-07: Intuition Summer event!

And after that,… who knows? It probably should involve some work in the summer and maybe an ad-hoc holiday. I’m looking at several options: maybe do a PhD, maybe working for Google or maybe something completely different. More about that later.

Master Project - Take 1

Paul van Tilburg — 2006-09-20T00:00:00+02:00

Today I have effectively started with my Master Project! I have been been at it for a few days already in the past weeks though, but now I’m sitting on my own spot working on some proofs.

So, what am I actually doing? Well that’s still hard to put in words yet and it also requires some process algebra and general math prior knowledge, but I’ll try.

My graduation supervisor is Bas Luttik and in July he co-published a paper on defining a finite equational base (a set of equations from which all others can be derived) for a specific process algebra called CCS. This paper used a specific subset of CCS, namely without restriction (hiding) and relabelling. Restriction is an operator of the process algebra to block certain actions of happening, relabelling is an operator to replace actions by other actions.

Take 1 of my project is to try to consider this algebra with restriction and finding a new equational base and proof that either it works or it can not be done. This is a risky assignment because it can lead to: we have tried but haven’t gotten either results. The short period to come will entail considering CCS with restriction but without concurrency to drastically reduce the cases to be considered. If we succeed, we’ll continue with CCS with restriction and concurrency. If we do not succeed it’s quite possible we’ll change my project assignment.

More to come!