1: \begin{abstract}

2: In this paper we deal with the problem of determining perfectly insulating regions (cavities) from boundary measurements in a nonlinear elliptic equation arising from cardiac electrophysiology. With minimal regularity assumptions on the cavities, we first show well-posedness of the direct problem and then prove uniqueness of the inverse problem.

3: Finally, we propose a new reconstruction algorithm by means of a phase-field approach rigorously justified via $\Gamma$-convergence.

4: \end{abstract}

5: