Personlig profil

Emneord

  • Programming languages
  • Compilers
  • Type theory
  • Formal verification
  • Functional programming

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Patrick Bahr 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