|
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 |
|