Lab directory
Prof. George Candea — Research Profile
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Jul 22, 2026
More detail is coming to this faculty research profile
Here's what we know so far. A fuller introduction is on the way.
- Department
- School of Computer and Communication Sciences
- Professor
- George Candea
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Formal Methods in Verification
David Basin 교수 연구실
ETH Zurich · Department of Computer Science
Quantitative Verification of Infinite-State NetworksPreprintarXiv (Cornell University) · Oct 8Ralf Jung 교수 연구실
ETH Zurich · Department of Computer Science
Completeness of Iris-Based Program LogicsProceedings of the ACM on Programming Languages · Aug 17Jules Jacobs 교수 연구실
ETH Zurich · Department of Computer Science
Type-Directed Discretization of Probabilistic ProgramsProceedings of the ACM on Programming Languages · Oct 1
Other labs in this department
- Alessandro Chiesa 교수 연구실
- Amir Zamir 교수 연구실
- Anastasia Ailamaki 교수 연구실
- Anne-Marie Kermarrec 교수 연구실
- Antoine Bosselut 교수 연구실
- Babak Falsafi 교수 연구실