Prof. Pierre Senellart — Research Profile
Université PSL · Département d'informatique de l'ENS (DI ENS)
About
Prof. Pierre Senellart at Université PSL Département d'informatique de l'ENS (DI ENS) lists Value from data, data management 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
Shared topic: Logic, programming, and type systems
Clark Barrett 교수 연구실
Stanford University · Computer Science
Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4NewPreprintarXiv (Cornell University) · Sep 1Sam Staton 교수 연구실
University of Oxford · Department of Computer Science
Hippogriff: a semantic approach to uniting core and modulesPreprintarXiv (Cornell University) · Aug 20Ralf Jung 교수 연구실
ETH Zurich · Department of Computer Science
Iris in LeanPreprintarXiv (Cornell University) · Sep 14
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