Institut National de Recherche en Informatique et en Automatique — French research institution in computer science