Anders Ågren Thuné
Doktorand vid Institutionen för informationsteknologi; Datalogi
- E-post:
- anders.agren-thune@it.uu.se
- Besöksadress:
- Hus 10, Regementsvägen 10
- Postadress:
- Box 337
751 05 UPPSALA
Kort presentation
Jag är doktorand på avdelningen för datalogi i programspråksgruppen. Mina främsta intressen är programspråkssemantik, formella bevis, typsystem och typinferens och funktionell programmering. Jag är speciellt intresserad av denotationssemantik och domänspecifika språk med semantiska korrekthetsgarantier.
Nyckelord
- denotationssemantik
- typsystem
- typinferens
- formella bevis
- programspråk
