|
Professor Kim Guldstrand Larsen |
| Aalborg Universitet |
| Datalogi |
| Selma Lagerlöfsvej 300 |
| 9220 Aalborg |
| Danmark |
| kgl @ cs.aau.dk |
| 22171159 |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Concurrent og parallel programmering |
| Diskrete strukturer |
| Distribuerede systemer |
| Formelle sprog |
| Funktionsprogrammering |
| Kunstig intelligens |
| Logik |
| Logikprogrammering |
| Objektorienteret programmering |
| Oversættelse |
| Programmeringssprog |
| Videregående emner |
| Artificial Intelligence |
| Autonomous Agents |
| Combinatorial Optimization |
| Complexity Theory |
| Computational Logic |
| Computational Thinking |
| Concurrency Theory |
| Constraint Logic Programming |
| Distributed Systems |
| Embedded Systems |
| Functional Programming |
| Integer Programming |
| Linear Programming |
| Logic Programming |
| Machine Learning |
| Modeling and Simulation |
| Multiagent Systems |
| Operations Research |
| Parallel Processing |
| Probability Theory |
| Program Analysis |
| Program Optimization |
| Program Transformation |
| Proof Theory |
| Real-Time Systems |
| Search Heuristics |
| Semantics |
| Software Engineering |
| Software Testing |
| Software Verification |
| Theory of Computation |
| Type Theory |
|
![[topimage]](TopBanner900.png)