Andrea Gilot

PhD student at Department of Information Technology; Division of Computing Science

Telephone:: +46 18 471 10 71
E-mail:: andrea.gilot@it.uu.se
Visiting address:: Hus 10, Regementsvägen 10
Postal address:: Box 337
751 05 UPPSALA

Download contact information for Andrea Gilot at Department of Information Technology; Division of Computing Science

Short presentation

Office: Å105239

I am a PhD student in the Computing Science Division at the Department of Information Technology. My advisor is Eva Darulova. My main fields of interest are programming languages and software verification. My current research focuses on the verification of numerical programs. More information is available on my personal webpage.

Keywords

programming languages
software verification
software engineering
numerical verification