Patrick Bahr
Associate Professor
University of Copenhagen
Denmark
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Bangladeshi students 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
20%
Programming Language
30%
Formal Methods
20%
Type Theory
20%
Symbolic Computation
10%
Parallel Computing
10%
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
Articles5
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 Bangladeshi students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI