Daniele Gardy

I am a member of the David lab at the university of Versailles-Saint Quentin.

My research interests lie in the analysis of algorithms with its various applications, and in analytic combinatorics which give a powerful set of mathematical tools for these algorithm analyses.

My early research was on analyzing parameters of databases (I recently went back to it, for an analysis of B-trees) and on random allocations. I then developed a special interest in quantitative logic, where we look at random logical formulae and lambda-terms from a statistical point of view. This naturally involves satisfiability problems; from there the transition to analyzing the performance of constraint solvers and constraint programming, is quite natural. Another tool that comes handy when modelling satisfiability problems is graphs, and I investigate questions related to the number of occurrence of patterns.

Some of the projects in which I have been involved in the past are the French ANR Blanc Boole project (2009-13), of which I was the coordinator, and bilateral european projects (PHC): several Amadeus projects with the team Combinatorics and Algorithms at the DMG institute of T.U. Wien (Austria); and two Polonium projects (2007-08 and 2011-12) with the TCS team at Jagiellonian University in Krakow (Poland). During the academic year 2012-13, I was on a temporary position at CNRS (délégation), which I spent as a long-term visitor at the Department of Discrete Mathematics and Geometry (DMG) at TU Wien.

I was also a member of the bilateral ANR project Metaconc (2015--19) headed by Olivier Bodini (France) and Hsien-Kuei Hwang (Taiwan), and of the PICS project ACCA (2017--19), headed by Vlady Ravelomanana.

I was a co-organiser of the 14th CLA (Computational Logic and Applications) workshop, which took place on July 1-2, 2019 at Versailles University.

In the course of a long-term collaboration with Brigitte Chauvin (LMV, Versailles) and Julien Clément (GREYC, Caen), we have written a book (published by Springer in 2019, in French) on the various tree structures that occur in the analysis of algorithms; their analysis is presented jointly through analytic combinatorics and probability tools.

You can find here my list of publications with sources for most papers and talks, and there its (possibly incomplete) version according to DBLP. Some research papers (including our book) are also available on Hal.

• Cécile Mailler (2010-13), co-advisorship with Brigitte Chauvin; currently at Bath University.
• Antoine Genitrini (2006-09), co-advisorship with Hervé Fournier; currently associate professor at the University of Paris 6.

• At the Mathematics department of UVSQ: Brigitte Chauvin, Nicolas Pouyanne
• At Paris 6: Antoine Genitrini
• At Paris 7: Hervé Fournier, Vlady Ravelomanana
• At LIPN: Olivier Bodini
• At Ecole Polytechnique: Yann Ponty
• At the Bell labs of Villarceau and the Lincs: Elie de Panafieu
• At Caen: Julien Clément
• At Angers: Frédéric Saubion
• At Nantes: Xavier Lorca , Charlotte Truchet
• At Bath: Cécile Mailler
• In Austria: Gwendal Collet, Bernhard Gittenberger, Markus Kuba
• In Poland: Zbigniew Golebiewski, Marek Zaionc

Resources

Teaching

I was a professor of Computer Science at the Computer Science department (http://info.iut-velizy.uvsq.fr/) of the IUT of Velizy (http://www.iut-velizy.uvsq.fr/), which is part of the University of Versailles Saint-Quentin. I taught mostly programming and algorithms.

Contact

David Lab, UFR of Sciences, University of Versailles-Saint Quentin. 45 avenue des Etats-Unis, 78035 Versailles (cedex). France

mail : prenom_dot_nom_at_uvsq_dot_fr