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