| Peter Dybjer |
| Datavetenskap |
| peterd at chalmers dot se |
| +46 31 772 10 35 |
Peter Dybjer utsågs till professor i datalogi den 1 december 2000.
Han är född i Lund 1953. Han studerade teknisk fysik vid Lunds Tekniska Högskola och tog civilingenjörsexamen 1977. Han studerade sedan vid UCLA och tog en MSc i Computer Science 1980. Efter att ha tillbringat ett år som gästforskare i Computer Science vid University of Edinburgh kom han till Chalmers, där han doktorerade i datalogi 1983. Han har sedan dess verkat som lärare och forskare i datavetenskap vid Chalmers. Han blev forskarassistent 1983, universitetslektor 1986 och biträdande professor 1995. Under hösten 1995 var han gästforskare vid Isaac Newton Institute for Mathematical Sciences i Cambridge, England. Peter Dybjer är koordinator för det EU-stödda projektet APPSEM (Applied Semantics). Han medverkar även i EU-projektet TYPES for Proofs and Programs.
Sammanfattning av forskning
Peter Dybjers forskning ligger huvudsakligen inom områdena programkorrekthet och semantik för programspråk. Han har studerat ett antal olika metoder för att visa att program är korrekta och hur man kan använda datorstöd för att genomföra sådana korrekthetsbevis. Flera av hans arbeten handlar om konstruktiv typteori och hur denna teori kan användas för programmering. Han har bland annat bidragit till att utveckla teorin för induktiva definitioner och till nya tekniker för att normalisera program. Inom programspråkssemantik har han framför allt intresserat sig för hur man kan tillämpa kategoriteori, en modern form av abstrakt algebra, för grundläggande frågeställningar. Tidigare har han även arbetat inom områdena programanalys, databaser, och artificiell intelligens.
Ytterligare information om Peter Dybjers forskning