معرفی
Jérémy DAMOUR is a doctoral student and researcher affiliated with the University of Orleans, working within the Fundamental Computer Science Laboratory of Orléans (LIFO). His research focuses on the formalization of region-based memory models for the C language, supported by a contractual position under his thesis director, Frédéric Loulergue.
- Thesis: Formalization of a region-based memory model for the C language (started November 13, 2023)
- Email: jeremy.damour@univ-orleans.fr
- Lab: LIFO - Building IIIA, Orléans Cedex 2, France
His research interests include formal methods, software verification, and memory management in programming languages.
His 2025 publication in HAL (DBLP: 4859489) explores region analysis for Frama-C/WP, aligning with his thesis work in formalizing memory models for C. The study intersects programming languages, static analysis, and software verification.
۰مقاله منتشرشده
