-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
175 lines (162 loc) · 6.74 KB
/
Copy pathindex.html
File metadata and controls
175 lines (162 loc) · 6.74 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
<!doctype html>
<html lang="fr">
<head>
<meta charset="utf-8">
<title>Jérome Ricciardi — Méthodes formelles, outils OCaml et logiciel quantique</title>
<meta name="description"
content="Page personnelle de Jérome Ricciardi : méthodes formelles, outils OCaml, logiciel quantique, vérification formelle et support applicatif pour le calcul quantique.">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="alternate" hreflang="fr" href="index.html">
<link rel="alternate" hreflang="en" href="en.html">
<link rel="stylesheet" href="assets/style.css">
</head>
<body>
<main>
<nav class="lang" aria-label="Liens de profil et langue">
<a href="en.html" lang="en" hreflang="en">English</a>
<span aria-hidden="true"> · </span>
<a href="https://github.com/jricc">GitHub</a>
<span aria-hidden="true"> · </span>
<a href="https://www.linkedin.com/in/jerome-ricciardi">LinkedIn</a>
</nav>
<header class="hero">
<h1>Jérome Ricciardi</h1>
<p class="subtitle">Méthodes formelles, outils OCaml et logiciel quantique</p>
<p>
Je suis ingénieur logiciel et chercheur appliqué, avec une spécialisation en méthodes formelles et en logiciel
quantique. Mon travail porte sur le développement d'outils, la vérification de programmes et de circuits, et le
support applicatif auprès d’utilisateurs de plateformes de calcul scientifique.
</p>
<p>
J’ai travaillé sur la vérification déductive, l’exécution symbolique, le développement d’outils en OCaml, et les
techniques de vérification pour circuits quantiques et hybrides.
</p>
</header>
<section class="card">
<h2>Poste actuel</h2>
<p>
Application Support Engineer chez Quandela, je travaille sur Lucy, l’ordinateur quantique de Quandela déployé au
TGCC. J’ai participé à son intégration dans le centre de calcul. J’accompagne les utilisateurs sur les aspects
applicatifs et algorithmiques, et je fais le lien entre Quandela et le TGCC.
</p>
</section>
<section>
<h2>Recherche / thèse</h2>
<p>
J'ai soutenu ma thèse, <em>Vérification pratique des transformations de circuits quantiques</em>, le
<time datetime="2026-06-04">4 juin 2026</time> à l'École normale supérieure Paris-Saclay.
</p>
<p>
La thèse porte sur la vérification déductive, l'équivalence de circuits quantiques et hybrides, les
transformations de circuits et le développement d'outils pour des workflows de vérification formelle.
</p>
<div class="documents">
<h3>Documents de thèse</h3>
<ul>
<li>
<a href="files/manuscript.pdf" type="application/pdf">Manuscrit de thèse</a>
<span class="file-info">(PDF, 2,2 Mo)</span>
</li>
<li>
<a href="files/slides.pdf" type="application/pdf">Diapositives de soutenance</a>
<span class="file-info">(PDF, en anglais, 10,7 Mo)</span>
</li>
</ul>
</div>
</section>
<section>
<h2>Projets</h2>
<h3>Projets de thèse</h3>
<ul class="project-list">
<li>
<a href="https://github.com/jricc/qbricks.github.io/tree/main/Qbricks_to_oqasm">Qbricks to OpenQASM</a>
<p>
Développement Why3 pour certifier une chaîne de traduction de Qbricks vers OpenQASM.
Le travail prouve des réécritures préservant la sémantique, afin d’éliminer ou de compiler
certains constructs Qbricks avant la génération de code OpenQASM.
</p>
</li>
<li>
<a href="https://github.com/jricc/qbricks.github.io/tree/main/Artifacts/SQbricks/SQbricks">SQbricks</a>
<p>
Chaîne d’outils pour vérifier automatiquement des transformations de circuits quantiques hybrides.
Elle combine le lifting par deferred measurement avec des vérifications d’équivalence sur les sorties
observées et de séparation, afin de traiter les mesures, le contrôle classique et les données discardées.
</p>
</li>
</ul>
<h3>Projets de master</h3>
<ul class="project-list">
<li>
<a href="https://alaingiorgetti.github.io/autocheck/">AutoCheck</a>
<p>
Projet de master sur le test automatisé et la vérification de propriétés OCaml et WhyML.
</p>
</li>
<li>
<a href="https://github.com/alaingiorgetti/enum">ENUM</a>
<p>
Projet de master lié au test par énumération et à la vérification de propriétés.
</p>
</li>
</ul>
<h3>Quandela / travaux liés</h3>
<ul class="project-list">
<li>
<a href="https://github.com/merlinquantum/reproduced_papers">Reproduced papers</a>
<p>
Dépôt associé à MerLin pour la reproduction et le benchmark de papiers publiés en quantum machine learning,
avec un focus sur le calcul quantique photonique et hybride. Il fournit du code réutilisable, des notebooks
et
des ressources d’analyse pour comparer les résultats reproduits.
</p>
</li>
</ul>
</section>
<section>
<h2>Articles</h2>
<ul class="publication-list">
<li>
<a href="https://hal.science/hal-03722048v1/document">Towards random and enumerative testing for OCaml
and WhyML properties</a>
<p>
Clotilde Erard, Jérome Ricciardi, Alain Giorgetti.
<em>Software Quality Journal</em>, 2022.
DOI : 10.1007/s11219-021-09572-z.
</p>
</li>
<li>
<a href="https://arxiv.org/abs/2511.22523">Quantum Circuit Equivalence Checking: A Tractable
Bridge From Unitary to Hybrid Circuits</a>
<p>
Jérome Ricciardi, Sébastien Bardin, Christophe Chareton, Benoît Valiron.
arXiv:2511.22523, 2025.
</p>
</li>
</ul>
</section>
<section>
<h2>Compétences</h2>
<ul class="skills">
<li>OCaml</li>
<li>Vérification formelle</li>
<li>Vérification déductive</li>
<li>Exécution symbolique</li>
<li>Circuits quantiques</li>
<li>Logiciel quantique</li>
<li>Développement d'outils</li>
<li>Python</li>
<li>Git</li>
<li>Linux</li>
</ul>
</section>
<section>
<h2>Contact</h2>
<ul class="contact-list">
<li><a href="https://github.com/jricc">GitHub</a></li>
<li><a href="https://www.linkedin.com/in/jerome-ricciardi">LinkedIn</a></li>
</ul>
</section>
</main>
</body>
</html>