Ansatte – Københavns Universitet

Videresend til en ven Resize Print Bookmark and Share

Datalogisk Institut, DIKU > Ansatte

Andrzej Filinski

Andrzej Filinski

Lektor

Medlem af:

  • The APL Section

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