Orna Grumberg
Orna Grumberg (hebräisch ארנה גרימברג; geb. 14. Mai 1952 in Chadera) ist eine israelische Informatikerin. Sie hat derzeit den Leumi Chair of Science am Technion, der Technischen Universität Israels in Haifa, inne.
Leben
[Bearbeiten | Quelltext bearbeiten]Orna Grumberg studierte Informatik (B.Sc. 1976 und M.Sc. 1978) und schloss dieses Studium mit dem Doktorgrad (Ph.D.) 1984 ab. 1985 bis 1987 erhielt sie den Posten eines Postdoc an der Carnegie Mellon University unter Professor Edmund M. Clarke. Gemeinsam mit Clarke entwickelte Orna Grumberg das sogenannte Model Checking (Modellprüfung).[1]
Die ersten Modellprüfungsalgorithmen konnten lediglich kleine Computerprogramme überprüfen. Grumberg gelang es, eine neue Herangehensweise an die Modellprüfung zu entwickeln (Automatic Abstraction). Orna Grumberg war im Bereich Modellprüfung unter anderen für die Unternehmen Intel und Microsoft beratend tätig.
Grumberg hat in ihrer Laufbahn viele administrative Positionen bekleidet. Sie war am Technion Dekan der Graduate School, war Vorsitzende des Organisationskomitees des CAV (Computer Aided Verification) 1997 und TACAS (Tools and Algorithms for the Construction and Analysis of Systems) im Jahr 2007 und hat viele große Fachkonferenzen wie FMCAD (Formal Methods in Computer Aided Design) und LICS (Logic in Computer Science) organisiert. Orna Grumberg gehört auch zu den Dozenten der Summer School Security Through Science der Technischen Universität München gemeinsam mit der NATO im bayerischen Marktoberdorf.
Orna Grumberg lebt in Haifa und hat zwei Töchter.
Auszeichnungen
[Bearbeiten | Quelltext bearbeiten]Seit 2013 ist Grumberg Mitglied der Academia Europaea.[2] 2015 wurde sie als Fellow der Association for Computing Machinery (ACM) „für ihren Beitrag in der Forschung zu automatischer formeller Verifikation von Hard- und Software Systemen“ berufen.[3] Im Mai 2017 wurde ihr die Ehrendoktorwürde der Technischen Universität München im Rahmen des Jubiläums 50 Jahre Informatik in München verliehen.[4]
Schriften
[Bearbeiten | Quelltext bearbeiten]- Gemeinsam mit Edmund M. Clarke und Doron A. Peled: Model Checking. MIT Press 1999, ISBN 0-585-38558-0.[5]
- 25 years of model checking. Springer 2008, ISBN 978-3-540-69849-4
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Orna Grumbergs Website am Technion (englisch)
- Publikationsliste bei Digital Bibliography & Library Project
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ Microsoft.com: Academic Research Profil ( vom 21. Oktober 2014 im Internet Archive)
- ↑ Danielle Ziri: Seven Israeli Professors elected to Academia Europaea. In: The Jerusalem Post, 3. Oktober 2013
- ↑ Association for Computing Machinery: ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age ( vom 9. Dezember 2015 im Internet Archive), 2015
- ↑ il-israel.org: Ein Leben für korrekte Bits und Bytes, 21. Mai 2017
- ↑ Vladimir Zakharov: Review of Model Checking. In: Journal of Logic and Computation, 11 (6), 2001, S. 962–964, doi:10.1093/logcom/11.6.962
| Personendaten | |
|---|---|
| NAME | Grumberg, Orna |
| KURZBESCHREIBUNG | israelische Computerwissenschaftlerin und Informatik-Professorin |
| GEBURTSDATUM | 14. Mai 1952 |
| GEBURTSORT | Chadera |