Ralf Jung 교수 연구 프로필
취리히 연방공과대학교 · 컴퓨터과학과
소개
취리히 연방공과대학교 컴퓨터과학과 소속 Ralf Jung 교수의 등록된 연구 분야는 formal verification, program logics, type systems, concurrency, systems programming languages입니다.
연구 키워드
최근 논문
- Iris in Lean프리프린트arXiv (Cornell University) · 9월 21일
- Completeness of Iris-Based Program LogicsProceedings of the ACM on Programming Languages · 8월 17일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Logic, programming, and type systems
Martin Odersky 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
Classifying CapabilitiesProceedings of the ACM on Programming Languages · 10월 1일Viktor Kuncak 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
First-Class Refinement Types for ScalaProceedings of the ACM on Programming Languages · 10월 1일George Candea 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
A Deeper Look at Depth: Stable Generation Accounting for Quantifier Reasoning프리프린트arXiv (Cornell University) · 9월 22일
같은 학과의 다른 연구실
- 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