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