Explore la convexification des problèmes non convexes grâce à des astuces sur le noyau, à l'interprétation de la sensibilité et à la réduction de la dimensionnalité non linéaire.
Explore les techniques de conception pour la testabilité dans les systèmes VLSI, couvrant les méthodes ad hoc et structurées, la conception de numérisation et les normes de test modernes.
Couvre MLIR, une infrastructure de compilateur pour le calcul spécifique au domaine, soulignant l'importance de niveaux d'abstraction multiples et de sémantique de niveau supérieur.
