Looking Good, Behaving Well Behavioural Verification and Visualisation of Formal Models of Concurrent Systems For download, go to the bottom of the page. Abstract (Danish) Når man skal starte med at bygge et hus starter man ikke hovedløst med at bygge mure og håber på det bedste. I stedet tegner en arkitekt en tegning efter […]
Read More… from PhD Dissertation
Bacon Number 4 Erdös Number 3 h-index 20 i10-index 32 Citations ≥ 2500 Some of my publications can be seen on DBLP, via CiteSeer, or on Google Scholar. [accordion] [spoiler style=”fancy” title=”Journals” open=”yes”] [bibtex file=journals.bib group=year group_order=desc sort=firstauthor order=asc highlight=”M. Westergaard”] [/spoiler] [spoiler style=”fancy” title=”Conferences”] ❗ These are all reviewed papers published at conferences. ❗ [bibtex […]
Read More… from Publications
Michael Westergaard Personal Date of birth September 23, 1980 Place of birth Herning, Denmark Citizenship Danish Languages spoken Danish (native), English (fluent), Dutch, French, German LinkedIn Academia.edu Michael Westergaard Employment April 2018- Open Circle Solutions, Eindhoven, the Netherlands Principal Consultant July 2014-March 2018 Experis Ciber, Eindhoven, the Netherlands Senior Consultant June 2010-September 2014 Technische Universiteit […]
Read More… from Curriculum Vitae
As my computer was mostly useless due to running Windows in a VM and some pretty heavy document conversion, I decided to use whatever little power was left to create a nice new door-sign for my office, no that my french space-filler has left. […]
Read More… from New Door-sign