Professor Jens Palsberg
(Jens Palsberg Jørgensen)
University of California, Los Angeles (UCLA)
Computer Science
Eng. VI, Lab 486
CA-90095 Los Angeles
USA
palsberg @ ucla.edu
+1 310-825-6320
Indledende emner
Concurrent og parallel programmering
Diskrete strukturer
Formelle sprog
Funktionsprogrammering
Logik
Objektorienteret programmering
Oversættelse
Programmeringssprog
Softwarearkitektur
Videregående emner
Compiler Construction
Computational Logic
Concurrency Theory
Design Patterns
Embedded Systems
Functional Programming
Integer Programming
Object-Oriented Design and Analysis
Object-Oriented Programming
Program Analysis
Program Optimization
Program Transformation
Programming Language Design
Reversible and Quantum Computing
Semantics
Software Engineering
Software Testing
Software Verification
Type Theory
Virtual Machines