Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Theoretical Computer Science,Computer Architecture, Embedded and Massively Parallel Systems |
| Keywords | Computer-aided verification, Concurrency theory, Performance evaluation, Process calculi, Programming languages and compilers |
Current contact address
| Country | France |
|---|---|
| City | Montbonnot-Saint-Martin |
| Institution | Institut National de Recherche en Informatique et en Automatique (INRIA) |
| Institute | INRIA Grenoble - Rhone-Alpes |
| Homepage | http://www.inrialpes.fr/vasy/people/Hubert.Garavel/ |
Host during sponsorship
| Prof. Dr. Holger Hermanns | Fachrichtung 6.2 - Informatik, Universität des Saarlandes, Saarbrücken |
|---|---|
| Start of initial sponsorship | 01/06/2011 |
Programme(s)
| 2011 | Humboldt Research Award Programme |
|---|
Nominator's project description
| Dr. Hubert Garavel is internationally well known for his work on formal methods and computerized verification of safety-critical systems. His research contributions bridge between concurrency theory and industrial-scale verification practice. During his stay in Germany he will study the many research tools that exist for quantitative analysis of timed, probabilistic, and stochastic systems, seeking for a unified architecture providing better interoperability and facilitating tool development. |