Uppsaladoktorand får pris för bästa avhandling
Bildtext
Pavel Krcal som disputerade i datalogi vid Uppsala universitet i maj förra året har fått pris för bästa avhandling av fackförbundet Naturvetarna.
Vinnaren utses av en jury från Kungliga vetenskapsakademin som i sin motivering skriver att Pavel Krcals avhandling ”Infinite Structures in Timed Systems” ger nya fundamentala resultat som utvidgar klassen av system som i princip kan verifieras.
Priset på 50 000 kronor delas ut den 15 april, skriver tidningen Naturvetare.
Linda Koffmar