معرفی
Constantin Enea is a researcher affiliated with LIX (Laboratoire d'Informatique de l'X) at École Polytechnique, CNRS. His work focuses on formal verification, distributed systems, and concurrency. He actively contributes to academic conferences through committee memberships and publications.
- 2025: OOPSLA Review Committee at SPLASH 2025
- 2024: Author of 3 papers at OOPSLA 2024
- 2023: Author of a research paper at PLDI 2023
His research emphasizes formal methods for verifying concurrent and distributed systems, including model checking, scenario-based proofs, and reinforcement learning applications for testing. Recent publications analyze transaction isolation levels, distributed protocols, and concurrent object verification.
Constantin Enea is affiliated with LIX (Laboratoire d'Informatique de l'X) at École Polytechnique, a CNRS research laboratory. His work intersects computer science with formal verification and software engineering.
