Prof. Ralf Jung — Research Profile
ETH Zurich · Department of Computer Science
About
Prof. Ralf Jung at ETH Zurich Department of Computer Science lists formal verification, program logics, type systems, concurrency, systems programming languages as their registered research area.
Research keywords
Recent papers
- Iris in LeanPreprintarXiv (Cornell University) · Sep 21
- Completeness of Iris-Based Program LogicsProceedings of the ACM on Programming Languages · Aug 17
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Martin Odersky 교수 연구실
EPFL · School of Computer and Communication Sciences
Classifying CapabilitiesProceedings of the ACM on Programming Languages · Oct 1Viktor Kuncak 교수 연구실
EPFL · School of Computer and Communication Sciences
First-Class Refinement Types for ScalaProceedings of the ACM on Programming Languages · Oct 1George Candea 교수 연구실
EPFL · School of Computer and Communication Sciences
A Deeper Look at Depth: Stable Generation Accounting for Quantifier ReasoningPreprintarXiv (Cornell University) · Sep 22
Other labs in this department
- Adrian Perrig 교수 연구실
system and network security, networks, internet architecture
- Ana Klimovic 교수 연구실
cloud computing, operating systems, distributed systems, storage systems, computer architecture
- Andreas Krause 교수 연구실
machine learning, artificial intelligence, reinforcement learning, probabilistic inference
- Angelika Steger 교수 연구실
algorithms, combinatorics, randomization and probabilistic methods, combinatorial models for optimization
- April Yi Wang 교수 연구실
educational technology, human-computer interaction, artificial intelligence in education, collective intelligence and organizational technology, end-user programming, user interface for programming
- Bernhard Schölkopf 교수 연구실
machine learning, causal inference, applications in the sciences