I am Professor of Computer Science at University Savoie Mont Blanc, and member of the Laboratory of Mathematics. I am responsible of the Cursus Master en Ingénierie Informatique, and I teach in the Computer Science department of UFR Science and Montagne. My research interests includes digital geometry and topology, image segmentation and analysis, geometry processing, variational models, and discrete calculus. Albeit not an expert, I am also quite fond of arithmetic, word combinatorics, computational geometry, combinatorial topology, differential geometry and I often use several related results in my research.

Download my resumé: short (en) / short (fr) ) / long (fr) , my HDR dissertation (fr) and slides (fr) , my PhD dissertation (fr)

Interests

- Digital Geometry
- Image analysis
- Geometry processing
- Variational models
- Discrete calculus

Education

HDR in Computer science (Habilitation à Diriger des Recherches), 2006

University Bordeaux 1

PhD in Computer Science, 1998

University Joseph Fourier

MSc in Computer Science, 1994

University Joseph Fourier

Engineer in Applied Mathematics and Computer Science, 1994

ENSIMAG School of Engineering

In a recent work, full convexity has been proposed as an alternative definition of digital convexity. It solves many problems related to its usual definitions, for instance: Fully convex sets are digitally convex in the usual sense, but are also connected and simply connected. However, full convexity is not a monotone property; hence, intersections of fully convex sets may be neither fully convex nor connected. This defect might forbid digital polyhedral models with fully convex faces and edges. This can be detrimental since classical standard and naive planes are fully convex. In this paper, we study several methods that builds a fully convex set from a digital set. One is particularly appealing and is based on an iterative process: This envelope operator solves in arbitrary dimension the problem of extending a digital set into a fully convex set, while leaving fully convex sets invariant. This extension naturally leads to digital polyhedra whose cells are fully convex. Then a relative envelope operator is proposed, which can be used to force digital planarity of fully convex sets. We provide experiments showing that our method produces coherent polyhedral models for any polyhedron in arbitrary dimension. Finally we study how we can speed up full convexity checks and envelope operations, with a worst-case complexity lowered by a factor $2^d$ in ${\mathbb {Z}}^d$.

The estimation of differential quantities on oriented point cloud is a classical step for many geometry processing tasks in computer graphics and vision. Even if many solutions exist to estimate such quantities, they usually fail at satisfying both a stable estimation with theoretical guarantee, and the efficiency of the associated algorithm. Relying on the notion of corrected curvature measures [LRT22, LRTC20] designed for surfaces, the method introduced in this paper meets both requirements. Given a point of interest and a few nearest neighbours, our method estimates the whole curvature tensor information by generating random triangles within these neighbours and normalising the corrected curvature measures by the corrected area measure. We provide a stability theorem showing that our pointwise curvatures are accurate and convergent, provided the noise in position and normal information has a variance smaller than the radius of neighbourhood. Experiments and comparisons with the state-of-the-art confirm that our approach is more accurate and much faster than alternatives. The method is fully parallelizable, requires only one nearest neighbour request per point of computation, and is trivial to implement.

UV mapping is a classical problem in computer graphics aiming at computing a planar parameterization of the input mesh with the lowest possible distortion while minimizing the seams length. Recent works propose optimization methods for solving these two joint problems at the same time with variational models, but they tend to be slower than other cutting methods. We present a new variational approach for this problem inspired by the Ambrosio-Tortorelli functional, which is easier to optimize than already existing methods. This functional has widely been used in image and geometry processing for anisotropic denoising and segmentation applications. The key feature of this functional is to model both regions where smoothing is applied, and the loci of discontinuities corresponding to the cuts. Our approach relies on this principle to model both the low distortion objective of the UV map, and the minimization of the seams length (sequences of mesh edges). Our method significantly reduces the distortion in a faster way than state-of-the art methods, with comparable seam quality. We also demonstrate the versatility of the approach when external constraints on the parameterization is provided (packing constraints, seam visibility).

Computing differential quantities or solving partial derivative equations on discrete surfaces is at the core of many geometry processing and simulation tasks. For digital surfaces in $\mathbb{Z}^3$ (boundary of voxels), several challenges arise when trying to define a discrete calculus framework on such surfaces mimicking the continuous one: the vertex positions and the geometry of faces do not capture well the geometry of the underlying smooth Euclidean object, even when refined asymptotically. Furthermore, the surface may not be a combinatorial 2-manifold even for discretizations of smooth regular shape. In this paper, we adapt a discrete differential calculus defined on polygonal meshes to the specific case of digital surfaces. We show that this discrete differential calculus accurately mimics the continuous calculus operating on the underlying smooth object, through several experiments: convergence of gradient and weak Laplace operators, spectral analysis and geodesic computations, mean curvature approximation and tolerance to non-manifold locii.

This paper proposes full convexity as an alternative definition of digital convexity, which is valid in arbitrary dimension. It solves many problems related to its usual definitions, like possible non connectedness or non simple connectedness, while encompassing its desirable features. Fully convex sets are digitally convex, but are also connected and simply connected. They have a morphological characterisation, which induces a simple convexity test algorithm. Arithmetic planes are fully convex too. Full convexity implies local full convexity, hence it enables local shape analysis, with an unambiguous definition of convex, concave and planar points. As a kind of relative full convexity, we propose a natural definition of tangent subsets to a digital set. It gives rise to the tangential cover in 2D, and to consistent extensions in arbitrary dimension. Finally we present two applications of tangency: the first one is a simple algorithm for building a polygonal mesh from a set of digital points, with reversibility property, the second one is the definition and computation of shortest paths within digital sets.

This paper proposes a new mathematical and computational tool for infering the geometry of shapes known only through approximations such as triangulated or digital surfaces. The main idea is to decouple the position of the shape boundary from its normal vector field. To do so, we extend a classical tool of geometric measure theory, the normal cycle, so that it takes as input not only a surface but also a normal vector field. We formalize it as a current in the oriented Grassmann bundle $\mathbb{R}^3 \times \mathbb{S}^2$. By choosing adequate differential forms, we define geometric measures like area, mean and Gaussian curvatures. We then show the stability of these measures when both position and normal input data are approximations of the underlying continuous shape. As a byproduct, our tool is able to correctly estimate curvatures over polyhedral approximations of shapes with explicit bounds, even when their natural normal are not correct, as long as an external convergent normal vector field is provided. Finally, the accuracy, convergence and stability under noise perturbation is evaluated experimentally onto digital surfaces.

We propose an original method for vectorizing an image or zooming it at an arbitrary scale. The core of our method relies on the resolution of a geometric variational model and therefore offers theoretic guarantees. More precisely, it associates a total variation energy to every valid triangulation of the image pixels. Its minimization induces a triangulation that reflects image gradients. We then exploit this triangulation to precisely locate discontinuities, which can then simply be vectorized or zoomed. This new approach works on arbitrary images without any learning phase. It is particularly appealing for processing images with low quantization like pixel art and can be used for depixelizing such images. The method can be evaluated with an online demonstrator, where users can reproduce results presented here or upload their own images.

Quickly discover relevant content by filtering publications.

An Envelope Operator for Full Convexity to Define Polyhedral Models in Digital Spaces.
*J. Math. Imaging Vis.*, 2023.

(2023).
Lightweight Curvature Estimation on Point Clouds with Randomized Corrected Curvature Measures.
*Comput. Graph. Forum*, (Proc. of Symposium on Geometry Processing, SGP2023, Genova, Italy)), To appear in 42(5), 2023.

(2023).
Joint optimization of distortion and cut location for mesh parameterization using an Ambrosio-Tortorelli functional.
*Computer Aided Geometric Design*, Proc. International Conference on Geometric Modeling and Processing (GMP 2023), Genoa, Italy. Accepted. To appear..

(2023).
A Simple Discrete Calculus for Digital Surfaces.
*Discrete Geometry and Mathematical Morphology - Second International Joint Conference, DGMM 2022, Strasbourg, France, Oct 24-27, 2022, Proceedings*, pp 341-353, volume 13493 of Lecture Notes in Computer Science, 2022, Springer, Cham..

(2022).
An Alternative Definition for Digital Convexity.
*J. Math. Imaging Vis.*, 64(7): 718-735, 2022.

(2022).
Corrected Curvature Measures.
*Discret. Comput. Geom.*, 68(2): 477–524, 2022.

(2022).
Full convexity for polyhedral models in digital spaces.
*Discrete Geometry and Mathematical Morphology - Second International Joint Conference, DGMM 2022, Strasbourg, France, Oct 24-27, 2022, Proceedings*, pp 98-109, volume 13493 of Lecture Notes in Computer Science, 2022, Springer, Cham..

(2022).
A Maximum-Flow Model for Digital Elastica Shape Optimization.
*Discrete Geometry and Mathematical Morphology - First International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24-27, 2021, Proceedings*.

(2021).
An Alternative Definition for Digital Convexity.
*Discrete Geometry and Mathematical Morphology - First International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24-27, 2021, Proceedings*, volume 12708 of Lecture Notes in Computer Science, pp 269–282, 2021. Springer.

(2021).
An Elastica-Driven Digital Curve Evolution Model for Image Segmentation.
*J. Math. Imaging Vis.*, 63(1): 1-17, 2021.

(2021).
Digital Surface Regularization With Guarantees.
*IEEE Trans. Vis. Comput. Graph.*, 27(6): 2896-2907, 2021.

(2021).
PDF Cite Project DOI Supplementary (PDF) Code (DGtal) Code shrouds (DGtal) URL

An Optimized Framework for Plane-Probing Algorithms.
*J. Math. Imaging Vis.*, 62(5): 718-736, 2020.

(2020).
Interpolated corrected curvature measures for polygonal surfaces.
*Comput. Graph. Forum*, 39(5): 41-54, 2020.

(2020).
PDF Cite Project DOI Video Supplementary Code (DGtal) Code (basic) URL

Analytical description of digital intersections: Minimal parameters and multiscale representation.
*Theoretical Computer Science*, 784: 99-112, 2019.

(2019).
Combining voxel and normal predictions for multi-view 3D sketching.
*Computers & Graphics*, 82: 65-72, 2019.

(2019).
*

*Stable Geometry Processing and High Performance Calculus on Heterogeneous Geometrical Data*

(ANR project ANR-22-CE46)

Feb. 2023 - Jan. 2028

**Team Leader** LAMA

Year 2023-2024 (in progress)

Lectures in Computer Science in B. Sc. Licence/CMI L1 L2 L3

Most of my lectures are accesible on LAMA’s wiki.

- L1 CMI Info: VISI201_CMI Laboratory discovery / Visite de laboratoire (projet tutoré)
- L2 CMI Info: VISI301_CMI Software project / Projet de recherche et développement
- L2 CMI Info: VISI401_CMI Scientific bibliography / Bibliographie scientifique (projet tuteuré)
- L3 Info / L3 CMI Info / L3 Math-Info: INFO505 Programmation C II / Advanced C programming (Cours, TD, TP / Lectures, Seminars, Practicals)
- L3 Info / L3 CMI Info / L3 Math-Info: INFO601_CMI Algorithmique numérique / Numerical algorithms (Cours, TD, TP / Lectures, Seminars, Practicals)
- L3 CMI Info: PROJ602 Projet de recherche tuteuré / Tutored research project

Some former lectures

- L3 Info / L3 CMI Info: INFO607 Algorithmique II / Advanced algorithms (Cours, TD, TP / Lectures, Seminars, Practicals)

Lectures in Computer Science, M. Sc. Master/CMI M1 M2

Most of my lectures are accesible on LAMA’s wiki.

- M1 Info / M1 CMI Info: INFO702 Programmation générique et C++ / Generic programming in C++ (Cours, TD, TP / Lectures, Seminars, Practicals)
- M1 Info / M1 CMI Info: INFO804 Informatique graphique / Computer graphics (Cours, TD, TP / Lectures, Seminars, Practicals)
- M2 Info/Math / M2 CMI Info/Math: INFO911 Traitement et analyse d’image / Image processing and analysis (Cours, TD, TP / Lectures, Seminars, Practicals)
- M2 CMI Info: INFO001 Traitement et analyse d’image avancé / Advanced image processing and analysis (Cours, TD, TP / Lectures, Seminars, Practicals)
- M2 CMI Info: PROJ002 Project in image processing and analysis

Professor of Computer Science / Professeur en Informatique

Research at Laboratory of Mathematics LAMA. Teach computer science at Department of Computer Science, UFR Scem.

Scientific responsibilities include:

- National Leader of WorkGroup Digital Geometry of GdR IM and GdR IG-RV (Jan. 2010 - Dec. 2016)

Administrative responsibilities include:

- Head of Cursus Master en Ingénierie Informatique (Sep. 2016 - today)
- Director of Computer Science Department (Sep. 2008 - Aug. 2012)

Temporary CNRS research position / Délégation CNRS

Research at Laboratory of Applied Mathematics and Computer Science LJK.

Associated Professor of Computer Science / Maître de Conférences en Informatique

Research at laboratory of Computer Science LaBRI . Taught computer science at IUT Bordeaux 1.

- Daniel Martins Antunes, 7/2/2016 – 3/11/2020,
*Geometric constraints and variational approaches to image analysis*, funding project ANR CoMeDiC, co-advised with H. Talbot (LIGM, Marne-la-Vallée). dissertation (PDF) - Thomas Caissard, 1/10/2015 – 13/12/2018,
*Laplacien discret convergent pour l’analyse de formes digitales*, funding project ANR CoMeDiC, co-advised with D. Coeurjolly and T. Roussillon (LIRIS, Lyon). dissertation (PDF) - Marion Foare, 1/10/2013 – 26/6/2017,
*Analyse anisotropique des images par méthodes géométriques et variationnelles*, ministry scholarship, co-advised with D. Bucur (LAMA, Chambéry). dissertation (PDF) - Jérémy Levallois, 1/3/2012 – 12/11/2015,
*Estimateurs différentiels en géométrie discrète : Applications à l’analyse de surfaces digitales*, funding project ANR DigitalSnow, co-advised with D. Coeurjolly (LIRIS, Lyon). dissertation (PDF) - Louis Cuel, 1/10/2011 – 18/12/2014,
*Inférence géométrique discrète*, ministry scholarship, co-advised with B. Thibert (LJK, Grenoble). dissertation (PDF) - Pierre-Etienne Meunier, 1/10/2009 – 28/10/2012,
*Automates cellulaires et complexité de communication*, allocataire moniteur normalien, co-advised with G. Theyssier (LAMA). dissertation (PDF) - Mouhammad Saïd, 23/12/2007 – 29/11/2010,
*Géométrie multi-résolution des objets discrets bruités*, funding project ANR GeoDIB, co-advised with F. Feschet (ISIT, Clermont). dissertation (PDF) - François de Vieilleville, 1/10/2003 – 6/7/2007,
*Analyse des parties linéaires des objets discrets et estimateurs de caractéristiques géométriques*, ministry scholarship, co-advised with A. Braquelaire and A. Vialard (LaBRI, France). dissertation (PDF) - Sylvie Alayrangues, 1/10/2000 – 8/7/2005,
*Modèles et Invariants Topologiques en Imagerie Numérique*, funding BDI/CNRS, co-advised with A. Braquelaire (LaBRI, France). dissertation ( PDF , PS.GZ ) - Benjamin Taton, 1/10/2001 – 14/10/2004,
*Modèle déformable à densité adaptative : Application à la segmentation d’images*, funding BDI/CNRS, co-advised with A. Braquelaire (LaBRI, France). dissertation (PDF)

- jacques-olivier.lachaud_@_univ-smb.fr
- +33 4 79 75 86 42
- Université Savoie Mont Blanc, Laboratoire de Mathématiques, campus scientifique, Le Bourget-du-Lac, F-73376
- Enter Building “Le Chablais” (number 21), and take the stairs to Office 104 on Floor 1