Dr. Hubert Garavel

Aktuelle Kontaktadresse

Land	Frankreich
Ort	Montbonnot-Saint-Martin
Universität/Institution	Institut National de Recherche en Informatique et en Automatique (INRIA)
Institut/Abteilung	INRIA Grenoble - Rhone-Alpes

Fachgebiet	Theoretische Informatik,Rechnerarchitektur, eingebettete und massiv parallele Systeme
Keywords	Computer-aided verification, Concurrency theory, Performance evaluation, Process calculi, Programming languages and compilers