Dr. Björn Engelmann

Kontakt

  • E-Mail: 

Dr. Björn Engelmann

Forschung

Meine Forschungsschwerpunkte sind

  • Verifikation von dynamischen Sprachen
  • Typsysteme und Typinferenz
  • Statische Analyse
  • Websicherheit

Publikationen

Bibtex Datei konnte nicht geladen werden oder hat keine Einträge.

Abschlussarbeiten

Bibtex Datei konnte nicht geladen werden oder hat keine Einträge.
(Stand: 10.02.2026)  Kurz-URL:Shortlink: https://uol.de/p30601
Zum Seitananfang scrollen Scroll to the top of the page