연구실 목록
Hugo Paquet 교수 연구 프로필
파리 PSL 대학교 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
이 교수 연구 프로필은 아직 상세 정보를 준비 중이에요
지금까지 확인된 정보예요. 곧 더 자세한 소개가 채워질 거예요.
- 학과
- 컴퓨터과학과
- 교수 소개
- Hugo Paquet
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4새 논문프리프린트arXiv (Cornell University) · 9월 1일겹치는 주제: Logic, programming, and type systems
Stefan Kiefer 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Perturbation equivalence in labelled Markov chains프리프린트arXiv (Cornell University) · 9월 11일겹치는 주제: Petri Nets in System Modeling
Ralf Jung 교수 연구실
취리히 연방공과대학교 · 컴퓨터과학과
Iris in Lean프리프린트arXiv (Cornell University) · 9월 14일겹치는 주제: Logic, programming, and type systems
같은 학과의 다른 연구실
- 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