09.01.2009 |
Michael Schwartzbach, 47 år, er udnævnt til professor i programmeringssprog og formelle modeller ved Datalogisk Institut pr. 1. januar 2009.
Han forsker i design og analyse af programmeringssprog med henblik på at garantere den ønskede opførsel af udviklede programmer (ved at designe og implementere domæne-specifikke programmeringssprog) eller at opdage fejl på et tidligt tidspunkt af udviklingsprocessen (ved at definere og analysere matematiske modeller af programmernes opførsel). Han har specielt studeret varianter af typesystemer og logikbaserede analyser. Senest har han undersøgt heterogene applikationsdomæner som fx webservices.
Michael Schwartzbach blev i 1987 ph.d. fra Cornell University og har siden arbejdet som adjunkt og lektor ved Datalogisk Institut, Aarhus Universitet.
Han er medlem af Forskningsrådet for Natur og Univers, censorformand for datalogi, bestyrelsesmedlem for Dansk Center for Scientific Computing, og formand for den bibliometriske faggruppe for datalogi.