Intet billede af Willard Rafnsson
  • Rued Langgaards Vej 7, 4C corridor, RLV

    2300 Copenhagen

    Danmark

20182025

Publikationer pr. år

Personlig profil

Emneord

  • Security
  • Programming languages
  • Program analysis
  • Program verification
  • Program transformation
  • Program synthesis
  • Programming language theory

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Willard Rafnsson er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller