Professor får prestigefylld utmärkelse

Wang Yi, professor vid Uppsala universitet, har tillsammans med två forskarkollegor tilldelats den prestigefyllda utmärkelsen CAV award 2013. De får priset för sin forskning kring design  och verifiering av tidskritiska datorsystem och för utvecklingen av verktyget UPPAAL.
 
Inom forskningen om inbyggda system handlar det bland annat om att få datorsystem tidsmässigt korrekta.
 
-   Systemen är ofta säkerhetskritiska, sådana som byggs av stora svenska företag såsom ABB, Volvo och Ericsson, vilket gör det viktigt att kunna förutsäga hur de kommer agera, säger Wang Yi.

UPPAAL är ett datorprogram som utvecklats av professor Wang Yis forskningsgrupp vid Uppsala universitet under många år, i samarbete med Aalborg Universitetet, och används för modellering, simulering och verifiering av realtidssystem.

Forskningsgruppen har under ledningen av Wang Yi tagit fram ingenjörsmässiga design- och analysmetoder för tidskritiska datorsystem, som sedan implementerats i verktyget UPPAAL. Metoderna är tillräckligt generella för att kunna tillämpas inom många olika områden - en bidragande orsak till att de fått stor spridning inom både akademin och industrin. UPPAAL har  laddats ner över 80 tusen  gånger  av användare över hela världen.
 
CAV award är en utmärkelse som delas ut vid konferensen Computer-Aided Verification, den främsta internationella konferensen inom det datavetenskapliga forskningsområdet datorstödd verifiering. Syftet med utmärkelsen är att identifiera framstående forskning inom området. Wang Yi mottog igår utmärkelsen och 10 000 dollar tillsammans med kollegorna Kim G. Larsen, Aalborg universitet, och Paul Pettersson, Mälardalens högskola, vid den 25:e CAV-konferensen i Sankt Petersburg, Ryssland. Det är i år första gången utmärkelsen tilldelas forskare utanför Nordamerika.

Kontaktuppgifter:
Wang Yi, Professor i inbyggda system, tel: 018-471 31 10, 070-425 02 93, Wang.Yi@it.uu.se

Mer information:
www.uppaal.org
cav2013.forsyte.at