Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Theoretische Informatik,Rechnerarchitektur, eingebettete und massiv parallele Systeme |
| Keywords | Computer-aided verification, Concurrency theory, Performance evaluation, Process calculi, Programming languages and compilers |
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 |
| Website | http://www.inrialpes.fr/vasy/people/Hubert.Garavel/ |
Gastgeber*innen während der Förderung
| Prof. Dr. Holger Hermanns | Fachrichtung 6.2 - Informatik, Universität des Saarlandes, Saarbrücken |
|---|---|
| Beginn der ersten Förderung | 01.06.2011 |
Programm(e)
| 2011 | Forschungspreis-Programm auf Gegenseitigkeit für Wissenschaftler*innen aus dem Ausland |
|---|
Projektbeschreibung der*des Nominierenden
| 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. |