Scholar
Russ Harmer
Google Scholar ID: PuVvSkAAAAAJ
CNRS, Lyon
Citations & Impact
Citations
541
H-index
14
i10-index
17
Publications
20
Co-authors
17
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Publications:
- - Formalizing adhesive category theory in Rocq. #GR #PA, JFLA'25 (2025)
- - A living monograph for graph transformation. #GR #KR, ICGT'23 (2023)
- - Fundamentals of compositional rewriting theory. #GR, JLAMP 135, 100893 (2023)
- - Concurrency theorems for non-linear rewriting theories. #GR, ICGT'21 (2021)
- - Schema inference for property graphs. #GDB, BDA'20 (2020), EDBT'21 (2021)
- - Reversibility and composition of rewriting in hierarchies. #KR #GR, GCM'20 (2020)
- - Knowledge representation and update in hierarchies of graphs. #GDB #KR #GR, JLAMP 114, 100559 (2020)
- - Schema validation and evolution for graph databases. #GDB #KR #GR, ER'19 (2019)
- - Knowledge representation and update in hierarchies of graphs (extended abstract). #GDB #KR #GR, ICGT'19 (2019)
- Editorial Work:
- - Graph Transformation. Proceedings of the 17th International Conference. #GR, ICGT'24 (2024)
Research Experience
- Work Experience:
- - Researcher at CNRS
- - Member of the Plume team
- - Member of the LIP management committee
- - Co-responsible for the LIP thesis committee
- - Involved in organizing multiple international workshops and conferences such as GRADES-NDA workshops, Graph Transformation international conferences, etc.
- - Teaching experience: Taught 'BDW1 (Database and Web Programming)' at UCBL1, and 'Graph-based Knowledge Representation' at ENS Lyon M2IF
Background
- Research Interests: Graph transformation theory, knowledge representation, databases, etc. Brief Introduction: Researcher at CNRS, member of the Plume team, member of the LIP management committee, co-responsible for the LIP thesis committee.
Miscellany
- Personal Interests: Involved in organizing multiple international workshops and conferences, developed KAMI and KAMIStudio software environment, and ReGraph library
