Andrea Gilot

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
Andrea Gilot

FÖLJ UPPSALA UNIVERSITET PÅ

Uppsala universitet på facebook
Uppsala universitet på Instagram
Uppsala universitet på Youtube
Uppsala universitet på Linkedin