Description

Postdoc ved Aalborg Universitets Institut for Datalogi Peter Gjøl Jensen har i sin forskning optimeret to værktøjer (Uppaal og Tapaal), så de nu er hurtigere og mere præcise end nogensinde før. Han siger, at de inden for hans forskningsområde laver præcise computermodeller af de problemstillinger, der bliver præsenteret fra den virkelige verden. Jensen sikrede sig fire guldmedaljer ved den årlige internationale modeltjekningskonkurrence, der blev afholdt i Prag i april. Kilder:Elektronikfokus.dk, 27-06-2019Elek-Data.dk (Elektronik & Data), 27-06-2019Automatik.nu, 27-06-2019
Period27 Jun 2019

Media coverage

3

Media coverage