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 524
751 20 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
Publikationer
Senaste publikationer
-
Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
Ingår i Proceedings of the ACM on Programming Languages, 2026
- DOI för Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
- Ladda ner fulltext (pdf) av Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
Alla publikationer
Artiklar i tidskrift
-
Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
Ingår i Proceedings of the ACM on Programming Languages, 2026
- DOI för Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
- Ladda ner fulltext (pdf) av Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages