No doubt, you’ve already seen this wonder: I love B’s arch smile and the great humor (like the hilarious Crossroads 2 advertisement). MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Tag: Youtube
Nuclear Summer
I was looking forward to a summer vacationconference in Kanazawa in Japan this summer. Unfortunately somebody forgot to switch off the lights, so a nuclear power plant became slightly warmer than anticipated and the world panicked. Of course, the threat in Japan is comparable with the one in Chernobyl in 1986; one apt comparison would […]
#HIAMFeb17
You have seen the teasers. You have listened to the super-hit. Now the video is finally here: It’s a bit heavy on the product placement note, but obviously contains a tribute to my painting endeavors in the past weeks. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Introduction to CPN Tools
I’ve been doing demonstrations of CPN Tools for almost 10 years now. At first, I did demonstrations with Troels Bjerre Sørensen and later alone. Next week, I’m chairing a hands-on session with CPN Tools, and rather than doing demos again, I decided to condense some material from the CPN Tools help pages (old version here) […]
LTL Model-checking in ASAP
I just finished integrating LTL model-checking into ASAP. This is joint work with Sami Evangelista and Thomas Vestergaard. Basically, I've made the translation from LTL to a Büchi automaton, Sami made the nested depth-first checker, and Thomas put it together, added a bunch of utility functions, and made the initial integration into ASAP. After that […]
New CD from Alizée
Alizée recently released her fourth album (not counting the live album “Alizée En Concert”), named “Une Enfant du Siècle”, which translated more or less is “A Child of the Century”. When I say more or less it’s because it’s named similarly to her own artist name, Alizée, which is the feminine form of “alizé” or […]