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