Jens Palsberg
Professor of Computer Science
Former Projects
Sensor network simulation
Resource-aware compilation
Type inference and static analysis for object-oriented software
Type-based analysis and applications