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