Paolo Zuliani

Une méthode pour vérifier la sécurité des voitures autonomes et des drones en utilisant des réseaux de neurones.

Outil automatisé pour vérifier la justesse des programmes quantiques écrits en Silq.

Explorer le rôle des algorithmes génétiques dans l'optimisation de la conception de circuits quantiques.

Un aperçu de l'utilisation des certificats de barrière pour une vérification plus sûre des circuits quantiques.

Silq rend la programmation quantique super simple avec des fonctionnalités faciles à utiliser.