Jules Jacobs 교수 연구 프로필
취리히 연방공과대학교 · 컴퓨터과학과
소개
Prof. Jules Jacobs at ETH Zurich Department of Computer Science lists formal methods, type theory, probabilistic programming, proof assistants, programming languages as their registered research area.
연구 키워드
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Martin Odersky 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
Classifying CapabilitiesProceedings of the ACM on Programming Languages · 10월 1일겹치는 주제: Logic, programming, and type systems
Viktor Kuncak 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
First-Class Refinement Types for ScalaProceedings of the ACM on Programming Languages · 10월 1일겹치는 주제: Logic, programming, and type systems
George Candea 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
A Deeper Look at Depth: Stable Generation Accounting for Quantifier Reasoning프리프린트arXiv (Cornell University) · 9월 22일겹치는 주제: Formal Methods in Verification
같은 학과의 다른 연구실
- 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