Lab directory
Prof. Joris van der Hoeven — Research Profile
École Polytechnique · Department of Computer Science (LIX / DIX)
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
About
에콜 폴리테크니크 컴퓨터과학과 소속 Joris van der Hoeven 교수의 등록된 연구 분야는 computer algebra, symbolic and reliable numerical computation, fast arithmetic algorithms입니다.
Research keywords
computer algebrasymbolic and reliable numerical computationfast arithmetic algorithms
Other labs in this department
- Alain Couvreur 교수 연구실
algorithmic number theory, coding theory, cryptography
- Beniamino Accattoli 교수 연구실
proof theory, lambda calculus, computational logic
- Benjamin Doerr 교수 연구실
algorithms, complexity, probabilistic analysis, approximation algorithms
- Benjamin Werner 교수 연구실
types, logic and calculus, proof assistants, formal verification
- Catuscia Palamidessi 교수 연구실
formal languages for mobile, secure, stochastic and distributed systems, process calculi, privacy
- Constantin Enea 교수 연구실
semantics and static analysis of software systems, concurrency, hybrid and cyber-physical systems