|
Associate Professor Amin Timany |
| Aarhus University |
| Datalogi |
| Aabogade 34 |
| 8200 Aarhus N |
| Danmark |
| timany @ cs.au.dk |
| 28992247 |
|
|
|
|
| Indledende emner |
| Concurrent og parallel programmering |
| Formelle sprog |
| Funktionsprogrammering |
| Logik |
| Objektorienteret programmering |
| Oversættelse |
| Programmeringssprog |
| Videregående emner |
| Compiler Construction |
| Computational Logic |
| Functional Programming |
| Programming Language Design |
| Proof Theory |
| Semantics |
| Software Verification |
| Theory of Computation |
| Type Theory |
|
![[topimage]](TopBanner900.png)