연구실 목록
Pierre Senellart 교수 연구 프로필
파리 PSL 대학교 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
파리 PSL 대학교 컴퓨터과학과 소속 Pierre Senellart 교수의 등록된 연구 분야는 Value from data, data management입니다.
연구 키워드
Value from datadata management
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Logic, programming, and type systems
Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4새 논문프리프린트arXiv (Cornell University) · 9월 1일Sam Staton 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Hippogriff: a semantic approach to uniting core and modules프리프린트arXiv (Cornell University) · 8월 20일Ralf Jung 교수 연구실
취리히 연방공과대학교 · 컴퓨터과학과
Iris in Lean프리프린트arXiv (Cornell University) · 9월 14일
같은 학과의 다른 연구실
- Adrien Taylor 교수 연구실
Statistical machine learning
- Alexander Schuckert 교수 연구실
Quantum computing
- Alexandre D'Aspremont 교수 연구실
Statistical machine learning
- Ana Busic 교수 연구실
Learning, graphs and distributed optimization
- Anne Bouillard 교수 연구실
Dynamics of geometric networks
- Antoine Maillard 교수 연구실
Learning, graphs and distributed optimization