Associate Professor Amin Timany Aarhus Universitet Datalogi Åbogade 34 8200 Aarhus N Danmark timany @ cs.au.dk 28992247

Indledende emner Funktionsprogrammering Logik Oversættelse Programmeringssprog Videregående emner Computational Logic Functional Programming Programming Language Design Semantics Software Verification Type Theory

 

---