Summer Sale
Up to 30% off — ends 7 Aug
ONLY00h00m00s
Up to 30% off — ends 7 Aug
ONLY00h00m00s
Patrick Bahr
Associate Professor
University of Copenhagen
Denmark
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI
Contact this professor
Research Interests
Mathematical Logic
20%
Syntax
30%
Programming Language
40%
Symbolic Computation
20%
Type Theory
20%
Formal Methods
20%
Functional Programming
20%
Ask ApplyKite AI
Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?
Recent Grants
Grant: Close
Efficient Programming Language Development and Evolution through Modularity
Open Date: 2013-05-01
Close Date: 2015-07-01
Articles6
Year:
2023
Collaborators2
Rasmus Ejlers Møgelberg
Associate professor
University of Copenhagen
DENMARK
Graham Hutton
Professor of Computer Science
University of Nottingham
UNITED KINGDOM
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI