معرفی
Carlos Olarte is an Associate Professor at the LIPN (Laboratoire d'Informatique de Paris Nord) within the Institut Galilée at Université Sorbonne Paris Nord. His research focuses on concurrent systems, formal methods, and rewriting logic, with affiliations to the AVISPA research group. He has contributed to tools like PTA2Maude, PITPN2Maude, and SiLVer, addressing formal verification and logic-based systems.
He holds grants including NATO Science for Peace (SymSafe, 2023) and CNPq projects (LOGOCOSMICS, 2019–2022). His work spans theoretical computer science, with recent publications in Tableaux, JLAMP, and Coordination. He actively participates in academic service, including PC chair roles for PPDP 2025 and local organization of Petri Nets 2025.
His research tools emphasize formal analysis of real-time systems, modal logics, and strategic reasoning. He has developed frameworks for linear logic theorem proving and declarative system specification.
