Lektor Alessandro Bruni IT-Universitetet i København 2770 Kastrup Danmark brun @ itu.dk 91111538

Indledende emner Computernetværk Datavidenskab Distribuerede systemer Formelle sprog Funktionsprogrammering Kunstig intelligens Logik Logikprogrammering Oversættelse Programmeringssprog Sikkerhed Videregående emner Artificial Intelligence Autonomous Agents Compiler Construction Computational Logic Computer Networks Concurrency Theory Constraint Logic Programming Cryptology Functional Programming Large Language Models Logic Programming Machine Learning Proof Theory Security Semantics Theory of Computation Type Theory

 

---