Modeling for Ubiquitous Computing

Robin Milner is the inventor of Pi-Calculus, his recent seminar was about modeling for ubiquitous computing. He presented the idea to combine all kinds of models to solve all kinds of problems in this application: mostly connections, mobility and communication. I found people at his level really mastered the technical skills. Now what he talks is about the grant challenges and only at this stage, he can predict which directions have the most important impacts. Producing papers and giving lectures are really a piece of cake.