Lars Birkedal
Aarhus University
Denmark
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
100%
Syntax
50%
Formal Methods
80%
Modal Logic
50%
Fault Tolerance
40%
Programming Language
40%
Model Checking
40%
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?
Articles20
Year:
2023
Year:
2021
Collaborators7
Jonathan Sterling
Associate Professor
University of Cambridge
UNITED KINGDOM
Jean Pichon-Pharabod
Aarhus University
DENMARK
Dominique Devriese
Professor
KU Leuven
BELGIUM
Mário Pereira
Universidade de Aveiro
PORTUGAL
Alex Kavvos
University of Bristol
UNITED KINGDOM
Ralf Jung
Assistant Professor
ETH Zürich
SWITZERLAND
Amin Timany
Aarhus University
DENMARK
How do Bangladeshi students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI