Hans Hüttels hjemmeside

(There is also an English version of this page.)

Jeg er lektor ved Institut for Datalogi ved Aalborg Universitet.

Min undervisning

I efterårssemesteret 2005 underviser jeg følgende steder:

• Jeg holder kurset Beregnelighed og kompleksitet som er del af forløbene Dat3/F7S/BOS, SW5 og SSE1.
• På semestrene Dat 6 og SSE3 er jeg projektvejleder for otte studerende

Min forskning

Jeg interesserer mig for proceskalkyler og operationel semantik og for hvordan disse ideer kan anvendes i studiet af objektorienterede programmeringssprog og til undersøgelse af sikkerhedsprotokoller. Især interesserer jeg mig for pi-kalkylen og objekt-kalkylerne fra Abadi og Cardelli. Jeg var ansvarlig for workshops og websider til konferencen CONCUR'01 (som fandt sted i Aalborg i august 2001).

Jeg er med i Enheden for distribuerede systemer og semantik og herigennem i BRICS. Jeg er medlem af Dansk Matematisk Forening. Her er alle mine publikationer i PostScript/PDF-format.

Min kalender

Relevante links

• Edinburgh LFCS-rapporter
• BRICS FTP-arkiv
• BRICS-hjemmesiden
• ACM SIGACT
• Imperial College
• Datalogi-litteraturhenvisninger (Computer Science Bibliography Server)
• Information and Computation
• Kansas State University
• The Hypatia Electronic Library
• Alonzo Church's samlede værker
• Association for Symbolic Logic

Personlige og ikke-akademiske oplysninger