Chercheur en informatique et logique au CNRS

Nancy, France