Scholar
Paul Brunet
Google Scholar ID: PQKwjzAAAAAJ
Université Paris-Est Créteil - ÉPISEN
Citations & Impact
Citations
214
H-index
9
i10-index
9
Publications
20
Co-authors
12
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Has authored a number of papers in peer-reviewed international conferences and journals; applying for a research grant from the French ANR to fund research into representations; uploaded a draft of a paper on Representations, to be submitted at RAMiCS 2026; presenting work on representations at the LACL seminar; attending TbiLLC 2025 conference to present a paper on Observation Algebras; uploaded a small remark on preorders.
Research Experience
- Since September 2021, a Lecturer at Université Paris-Est Créteil Val de Marne; teaches at EPISEN; member of the 'Spécification et vérification de systèmes' team at LACL; associate member of the (i)Po(m)set project; previously a Research Associate in the Programming Principles, Logic and Verification group (PPLV) at UCL’s Dept. of Computer Science, involved with the IRIS project.
Education
- PhD in Computer Science from the University of Lyon, supervised by Damien Pous
Background
- Research interests include theoretical aspects of software verification, particularly the algebraic properties of various models of program behavior. Also interested in logic, automata theory, mechanized proofs, concurrency theory, and nominal mathematics.
Miscellany
- Personal website powered by Jekyll & Minimal Mistakes
