Du er her: Home Nyt fra CISS Nyheder Arkiv 2008

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.

”Det har været en stor ære at modtage prisen,” siger han og tilføjer, at også selve deres deltagelse på konferencen har haft stor værdi. ”Der lå en stor udfordring i at fremlægge vores arbejde i et andet forum end normalt, hvor det oftest sker til en eksamen. Her var det folk fra hele verden, og det betyder, at man ikke kunne tage for givet, at de vidste, hvad de forskellige fagudtryk betyder. Derudover stillede de andre spørgsmål end dem, man normalt får på AAU,” fortsætter han.

Kirk Polycom - flersproget programmering

I det øjeblik, man tager sin telefon for at ringe, er telefonen helt ligeglad med, om man taler dansk, engelsk eller urdu. Hvad der derimod ikke er ligegyldigt er, hvilket program-meringssprog, man benytter, når man udvikler nye trådløse telefoner.

Se mere...