| Reiner Hähnle |
| Programvaruteknik |
| reiner at chalmers dot se |
| +46 31 772 10 61 |
Reiner Hähnle utsågs till professor i datalogi den 1 juli 2002.
Han föddes i Stuttgart 1962 och fick sin grundexamen 1987 vid universitetet i Karlsruhe, där han också erhöll sin PhD vid Institutionen för datavetenskap 1992. Under åren 1992 till 1999 hade han en postdoc-tjänst och därefter en forskarassistenttjänst i Karlsruhe. Han var gästforskare vid the Institute for New Generation Computing Teknology i Tokyo och vid State University of Albany. År 2000 fick en docenttjänst vid Institutionen för datavetenskap på Chalmers.
Sammanfattning av forskning
Reiner Hähnles forskning fokuserar på metoder för att automatiskt bevisa matematiska utsagor med hjälp av datorer: Automatisk teorembevisning. Potentialen för industriella applikationer växer snabbt: den stora komplexitet som modern hård- och mjukvara har gör det svårt för designers att övertyga sig om ett programs korrekthet. Ett medel mot detta är formell verifiering med hjälp av automatisk teorembevisning. Pågående arbete syftar till att få denna teknologi tillgänglig för vanliga ingenjörer. Detta innefattar ett CASE-verktyg som integrerar formell verifiering med normala utvecklingsprocesser. Ett typiskt användningsområde är säkerhetskritiska program t.ex. för bankkort.
Ytterligare information om Reiner Hähnles forskning