Graph transformation for geometric modeling

Presentation for done at the Christmas event of the MICS laboratory.

Abstract : In this festive presentation, I will give some insights into a rule-based language for geometric modeling. As with any domain-specific language, the goal is to abstract over the actual code (i.e., instructions written in a generic programming language) to enable formal reasoning. Here, I will introduce graph rewriting to formalize geometric modeling operations.

Romain Pascual
Romain Pascual

My research interests include applications of graph rewriting to computer graphics, and more generally formal methods from theory to applications.