John Håkansson's defense

Yesterday, John Håkansson defended his Ph.D. thesis "Design and Verification of Component-Based Real-Time Systems" at Uppsala university. It was a long but nice defense, and a well organized party at Norrlands nations. Thank you John!