[Taken] Theoretical complexity of graph-analysis for electrical circuit error detection

Aniah is a Start-up that offers tools for analyzing semiconductor manufacture circuits. Aniah has introduced algorithms relying on hierarchical graph decompositions that significantly pushes the boundaries of the size of analyzable circuits, from a few hundred thousand elements to several trillion. Aniah is collaborating with the Laboratoire de l’Informatique du Parallélisme (LIP) to consolidate and generalize its approach by supplementing its practical results with a theoretical backbone.

The overall goal of the internship is to study the theoretical complexity of existing algorithms, and/or propose new ones. The details are provided below.