Datalogisk Institut, DIKU > Ansatte
Andrzej Filinski
Lektor
Programming Languages and Theory of Computing
HCØ B, Bygning: 772-01-0-S10
2100 København Ø
ORCID: 0000-0002-9174-1861
Aktuel forskning
En generisk operationssemantik for monadiske effekter i funktionssprog; anvendelser af spilteoretiske begreber til formalisering af programkontrakter i samtidige og distribuerede systemer.
Primære forskningsområder
Anvendt semantik for programmeringssprog, med særlig vægt på definition af og ræsonneren om beregningsmæssige effekter. Maskinverificerbar ræsonneren om programmer og sprog, herunder formel kodecertificiering.
ID: 9314