Ralf Jung
Assistant Professor
ETH Zürich
Switzerland
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
40%
Programming Language
20%
Logic Programming
20%
Formal Methods
20%
Neutrosophic Logic
10%
Concurrency
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?
Articles7
Year:
2021
Collaborators3
Lars Birkedal
Aarhus University
DENMARK
Jeehoon Kang
Assistant Professor
KAIST
SOUTH KOREA
Amin Timany
Aarhus University
DENMARK
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI