Professor Peter Schneider-Kamp |
(Jan Peter Schneider-Kamp) |
Syddansk Universitet |
Institut for Matematik og Datalogi |
Campusvej 55 |
5230 Odense M |
Danmark |
petersk @ imada.sdu.dk |
+4526509755 |
|
|
|
Indledende emner |
Algoritmer og datastrukturer |
Computernetværk |
Concurrent og parallel programmering |
Databasesystemer |
Datavidenskab |
Diskrete strukturer |
Distribuerede systemer |
Formelle sprog |
Funktionsprogrammering |
Kunstig intelligens |
Logik |
Logikprogrammering |
Maskinarkitektur |
Menneske-maskin interaktion |
Objektorienteret programmering |
Operativsystemer |
Oversættelse |
Programmeringssprog |
Sikkerhed |
Softwarearkitektur |
Systemudvikling |
Web-teknologi |
Videregående emner |
Adaptive Systems |
Algorithm Engineering |
Artificial Intelligence |
Autonomous Agents |
Compiler Construction |
Computational Logic |
Computational Social Science |
Computer Game Construction |
Computer Networks |
Computer Vision |
Computer-Supported Cooperative Work |
Concurrency Theory |
Constraint Logic Programming |
Cryptology |
Data Analytics |
Data Modeling |
Data Structures |
Database Systems |
DevOps |
Distributed Systems |
E-Business Systems |
Edutainment |
Embedded Systems |
Entrepreneurship |
Evolutionary Algorithms |
Fairness and Explainability |
Functional Programming |
Geographical Information Systems |
Graph Algorithms |
Image Processing |
Information Retrieval |
Integer Programming |
Internet of Things |
IT Sociology |
Knowledge Management |
Knowledge Represenation |
Linear Programming |
Logic Programming |
Machine Architecture |
Machine Learning |
Metaheuristics |
Microservices |
Mobile Computing |
Multiagent Systems |
Natural Language Processing |
Network Science |
Object-Oriented Design and Analysis |
Object-Oriented Programming |
Operating Systems |
Operations Research |
Parallel Processing |
Pattern Recognition |
Philosophy of Computing |
Privacy |
Program Analysis |
Program Optimization |
Program Transformation |
Programming Environments |
Programming Language Design |
Project Management |
Proof Theory |
Real-Time Systems |
Reversible and Quantum Computing |
Robotics |
Scientific Computing |
Search Heuristics |
Security |
Semantics |
Software Testing |
Software Verification |
Spatial and Temporal Data Management |
Theory of Computation |
Type Theory |
Ubiquitous and Pervasive Computing |
Virtual Machines |
Web Technology |
|