Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Rechnerarchitektur, eingebettete und massiv parallele Systeme |
| Keywords | static program analysis, abstract interpretation, model checking, computer security, decision procedures |
Aktuelle Kontaktadresse
| Land | USA |
|---|---|
| Ort | Madison |
| Universität/Institution | University of Wisconsin-Madison |
| Institut/Abteilung | Computer Science Department |
| Website | pages.cs.wisc.edu/~reps/ |
Gastgeber*innen während der Förderung
| Prof. Dr. Reinhard Wilhelm | Fachrichtung 6.2 - Informatik, Universität des Saarlandes, Saarbrücken |
|---|---|
| Beginn der ersten Förderung | 01.10.2000 |
Programm(e)
| 2000 | Humboldt-Forschungspreis-Programm für Naturwissenschaftler*innen aus den USA |
|---|
Projektbeschreibung der*des Nominierenden
| Professor Reps has substantially contributed to the theoretical foundations of software development tools, in particular, for syntax-directed editing, programme slicing and interprocedural programme analyses. On the basis of these foundations he has developed tools that have been used extensively, both in academia and industry. Within the planned collaboration with his German colleagues at Saarbrücken and Trier he will further investigate recent methods of methematical logic for automated programme analysis. |