Activités de recherche
Ma recherche s'effectue au laboratoire d'informatique de Paris 6 (LIP6) et plus particuliérement dans le département Systèmes embarqués sur puce (SOC) et l'équipe Circuits Intégrés Numériques et Analogiques (CIAN).

Mon travail de recherche porte sur les méthodes et outils de conception, la simulation et la vérification de circuit intégrés. Plus précisément, je m'intéresse à :
  1. la modélisation et la vérification de circuits intégrés après placement-routage (l'analyse temporelle, diaphonie et IR-drop),
  2. l'optimisation de chemins de données arithmétiques à l'aide d'algorithmes génétiques,
  3. l'équivalence formelle pour les circuits analogiques,
  4. la conception et la simulation de circuits quantiques.
Pour plus de détail, merci de consulter le document suivant.