Prof. Jules Jacobs — Research Profile
ETH Zurich · Department of Computer Science
About
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.
Research keywords
Recent papers
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
Martin Odersky 교수 연구실
EPFL · School of Computer and Communication Sciences
Classifying CapabilitiesProceedings of the ACM on Programming Languages · Oct 1Shared topic: Logic, programming, and type systems
Viktor Kuncak 교수 연구실
EPFL · School of Computer and Communication Sciences
First-Class Refinement Types for ScalaProceedings of the ACM on Programming Languages · Oct 1Shared topic: Logic, programming, and type systems
George Candea 교수 연구실
EPFL · School of Computer and Communication Sciences
A Deeper Look at Depth: Stable Generation Accounting for Quantifier ReasoningPreprintarXiv (Cornell University) · Sep 22Shared topic: Formal Methods in Verification
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