Andrea Gilot

Doktorand vid Institutionen för informationsteknologi; Datalogi

Telefon:: 018-471 10 71
E-post:: andrea.gilot@it.uu.se
Besöksadress:: Hus 10, Regementsvägen 10
Postadress:: Box 337
751 05 UPPSALA

Ladda ned kontaktuppgifter för Andrea Gilot vid Institutionen för informationsteknologi; Datalogi

Kort presentation

Kontor: Å105239

Jag är doktorand på avdelningen för datalogi vid institutionen för IT. Min handledare är Eva Darulova. Mina främsta forskningsintressen är programmeringsspråk och programvaruverifiering. För närvarande fokuserar min forskning på verifiering av numeriska program. Mer information finns på min personliga webbplats.

Nyckelord

programming languages
software verification
software engineering
numerical verification