Beskikkede censorer startende 1. april 2018       Information
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
26509755
Indledende emner
Agentsystemer
Algoritmer og datastrukturer
Concurrent og parallel programmering
Dataanalyse
Databasesystemer
Diskrete strukturer
Distribuerede systemer
Formelle sprog
Funktionsprogrammering
Indledende programmering
Kryptologi
Kunstig intelligens
Logik
Logikprogrammering
Maskinarkitektur
Menneske-maskin interaktion
Netværk
Operationsanalyse
Operativsystemer
Oversættelse
Programmeringssprog
Semantik
Sikkerhed
Softwarearkitektur
Systemudvikling
Web-teknologi
Videregående emner
Adaptive Systems
Algorithm Engineering
Artificial Intelligence
Autonomous agents
Compiler Construction
Computability
Computational Logic
Computer Game Construction
Computer Graphics
Computer Networks
Computer Vision
Computer-Supported Cooperative Work
Concurrency Theory
Constraint Logic Programming
Cryptology
Data Structures
Database Systems
Design Patterns
Distributed Systems
E-Business Systems
Edutainment
Embedded Systems
Entrepeneurship
Evolutionary Algorithms
Functional Programming
Geographical Information Systems
Graph Algorithms
History of Computing
Hypermedia
Image Processing
Information Retrieval
Integer Programming
Internet of Things
IT Sociology
Knowledge Management
Knowledge Represenation
Linear Programming
Logic Programming
Machine Architecture
Metaheuristics
Microprocessors
Mobile Computing
Multiagent Systems
Natural Language Processing
Number Systems
Object Technology
Object-Oriented Design and Analysis
Object-Oriented Programming
Operating Systems
Operations Research
Parallel Processing
Partial Evaluation
Pattern Recognition
Pervasive Computing
Philosophy of Computing
Program Analysis
Program Optimization
Program Transformation
Programming Environments
Programming Language Design
Project Management
Proof Theory
Reversible and Quantum Computing
Robotics
Scientific Computing
Search Heuristics
Security
Software Testing
Software Verification
Sound Processing
Spatial and Temporal Data Management
Ubiquitous and Pervasive Computing
Virtual Machines