Lektor Hans Hyttel (Hans Hans Hüttel) Aalborg Universitet Institut for datalogi Selma Lagerlöfs Vej 300 9220 Aalborg Ø Danmark hans @ cs.aau.dk 99408888

Indledende emner Diskrete strukturer Formelle sprog Funktionsprogrammering Logik Logikprogrammering Oversættelse Programmeringssprog Sikkerhed Videregående emner Compiler Construction Computational Logic Concurrency Theory Functional Programming History of Computing Philosophy of Computing Program Analysis Program Transformation Proof Theory Semantics Theory of Computation Type Theory

 

---