Prof. Hugo Paquet — Research Profile
Université PSL · Département d'informatique de l'ENS (DI ENS)
More detail is coming to this faculty research profile
Here's what we know so far. A fuller introduction is on the way.
- Department
- Département d'informatique de l'ENS (DI ENS)
- Professor
- Hugo Paquet
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Clark Barrett 교수 연구실
Stanford University · Computer Science
Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4NewPreprintarXiv (Cornell University) · Sep 1Shared topic: Logic, programming, and type systems
Stefan Kiefer 교수 연구실
University of Oxford · Department of Computer Science
Perturbation equivalence in labelled Markov chainsPreprintarXiv (Cornell University) · Sep 11Shared topic: Petri Nets in System Modeling
Ralf Jung 교수 연구실
ETH Zurich · Department of Computer Science
Iris in LeanPreprintarXiv (Cornell University) · Sep 14Shared topic: Logic, programming, and type systems
Other labs in this department
- 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