Professor Jacopo Mauro Syddansk Universitet IMADA Sankt Jørgens Engen 5 5000 Odense C Danmark mauro.jacopo @ gmail.com

Indledende emner Concurrent og parallel programmering Distribuerede systemer Formelle sprog Funktionsprogrammering Kunstig intelligens Logik Logikprogrammering Objektorienteret programmering Programmeringssprog Sikkerhed Softwarearkitektur Systemudvikling Web-teknologi Videregående emner Artificial Intelligence Concurrency Theory Constraint Logic Programming Design Patterns DevOps Distributed Systems Functional Programming Integer Programming Internet of Things Knowledge Represenation Logic Programming Microservices Object-Oriented Programming Parallel Processing Program Analysis Program Optimization Programming Environments Programming Language Design Proof Theory Security Semantics Software Development Management Software Engineering Software Testing Software Verification Virtual Machines

 

---