Gå til søgefeltet Spring over til navigation Spring til hovedindhold

IT University of Copenhagen
/
Forskere

Patrick Bahr

Patrick Bahr

Lektor, Theoretical Computer Science
Programming Logic and Semantics

Forskning

Type Systems
Rewriting
Compilers
Domain-specific Languages
Formal Verification
Recursion Schemes

Personal website

Alt indhold på dette websted: Copyright © 2026 IT University of Copenhagen, dets licensgivere og bidragydere. Alle rettigheder forbeholdes, herunder dem til tekst- og datamining, AI-træning og lignende teknologier. For alt Open Access indhold gælder de relevante licensbetingelser.

Vi bruger cookies til at hjælpe med at levere og forbedre vores service og skræddersy indhold. Ved at fortsætte accepterer du brug af cookies

IT-University of Copenhagen Data Protection Policy, åbner i en ny fane
Contact us

Erklæring om webtilgængelighed
Rapporter sårbarhed, åbner i en ny fane