Ivan Rapaport

An overview of labeled graphs and their verification properties.

Methods for local certification of geometric intersection graphs using compact certificates.

Exploring methods for verifying graph properties through distributed computing.