Explore la dynamique des protéines, en mettant l'accent sur les machines CLpB, les changements conformationnels rapides et les mécanismes de translocation du substrat.
Explore la mise en oeuvre d'un interprète abstrait octagonique pour les programmes C, couvrant l'interprétation abstraite, les contraintes octogonales, les fermetures, les pointeurs et l'analyseur FrontC.
