Menu
Welcome
Publications
Model-based computing
Planning & scheduling
Distributed control
Network algorithms
Adaptive algorithms
Diagnosis, debugging
Design optimization
Sketch interpretation
Collaboration
All by year
Research statement
Addresses
Vita
