연구실 목록
Alain Couvreur 교수 연구 프로필
에콜 폴리테크니크 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
Prof. Alain Couvreur at École Polytechnique Department of Computer Science (LIX / DIX) lists algorithmic number theory, coding theory, cryptography as their registered research area.
연구 키워드
algorithmic number theorycoding theorycryptography
같은 학과의 다른 연구실
- 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
- Dale Miller 교수 연구실
proof theory, logical frameworks, computational logic, proof certificates