Adjunkt (Tenure-Track) Amin Timany Aarhus Universitet Datalogi Åbogade 34 8200 Aarhus N Danmark timany @ cs.au.dk 28992247

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

 

---