Elitestuderende modtager best-paper award

Ved konferencen AISPC ’08, der afholdtes den 15. februar 2008 på AAU modtog to elitestuderende under CISS, Claus Thrane og Uffe Sørensen, prisen Best Computer Science Paper award, også kaldet Google award. De fik prisen for deres artikel ”Slicing for UPPAAL”.

Artiklen handler om de to studerendes arbejde med at optimere modellerings-, validerings- og verifikationsværktøjet UPPAAL ved at begrænse (slice) den mænge af informationer, UPPAAL skal gennemsøge i verifikationsprocessen. Det særlige ved de to studerendes arbejde er, at de fokuserer på at optimere inputtet - f.eks. mængden af tilført information - til UPPAAL, til forskel fra den gængse forskning på området, der oftest fokuserer på at optimere værktøjets behandling (processering) af inputtet, fortæller Uffe Sørensen.