Ralf Jung
Assistant Professor
ETH Zürich
Switzerland
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Indian 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
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 Indian students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI