Professor 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 Animation
Computer Game Construction
Computer Graphics
Computer Networks
Computer Vision
Computer-Supported Cooperative Work
Computing Education
Concurrency Theory
Constraint Logic Programming
Cryptology
Data Analytics
Data Modeling
Data Structures
Data Visualization
Database Systems
DevOps
Distributed Systems
E-Business Systems
Edutainment
Embedded Systems
Entrepreneurship
Evolutionary Algorithms
Fairness and Explainability
Functional Programming
Geographical Information Systems
Graph Algorithms
History of Computing
Human-Computer Interaction
Hypermedia
Image Processing
Information Retrieval
Integer Programming
Internet of Things
IT Management
IT Sociology
Knowledge Management
Knowledge Represenation
Large Language Models
Linear Programming
Logic Programming
Machine Architecture
Machine Learning
Metaheuristics
Microprocessors
Microservices
Mobile Communication
Mobile Computing
Modeling and Simulation
Multiagent Systems
Multimodal systems
Natural Language Processing
Network Science
Object-Oriented Design and Analysis
Object-Oriented Programming
Operating Systems
Operations Research
Parallel Processing
Participatory Design
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
Systems Development
Theory of Computation
Type Theory
Ubiquitous and Pervasive Computing
Virtual Machines
Web Technology