Thomas Schiex

http://miat.inrae.fr/schiex

INRAE (Institut National de Recherche pour l'Agriculture, l'Alimentation et l'Environnement) Toulouse, France AI computer scientist interested in automated reasoning, discrete optimization and computational biology, protein design and energy optimization.