Le module Analyse formelle et processus informatique s'intéresse à revisiter simultanément, et sous une approche contemporaine, plusieurs thématiques qui ont autrefois autrefois articulé la recherche liant l'informatique à l'architecture :
* La démarche syntaxique, chère aux structuralistes des années 60, qui décompose puis recompose les aspects géométriques d'une architecture suivant un vocabulaire formel de base articulé par des règles de syntaxe.
* L'analyse formelle de l'architecture par des méthodes graphiques et par le diagramme, démarche inhérente à l'approche postmoderne américaine.
* La création de modèles procéduraux ; à savoir la génération de configurations architecturales tridimensionnelles par implémentation d'un vocabulaire de primitives graphiques au sein d'un système d'algorithmes, lui-même extrait de règles syntaxiques.
* La production de représentations graphiques pertinentes, avec la possibilité d'investir des médias tels que l'impression 3D ou la découpe laser.