Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Computer Architecture, Embedded and Massively Parallel Systems |
| Keywords | static program analysis, abstract interpretation, model checking, computer security, decision procedures |
Current contact address
| Country | United States of America |
|---|---|
| City | Madison |
| Institution | University of Wisconsin-Madison |
| Institute | Computer Science Department |
| Homepage | pages.cs.wisc.edu/~reps/ |
Host during sponsorship
| Prof. Dr. Reinhard Wilhelm | Fachrichtung 6.2 - Informatik, Universität des Saarlandes, Saarbrücken |
|---|---|
| Start of initial sponsorship | 01/10/2000 |
Programme(s)
| 2000 | Humboldt Research Award Programme |
|---|
Nominator's project description
| 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. |