Welcome
Teaching
Research
Projects
CV
Contact info
Other stuff
Links
Thesis
Modelling variable structure systems
(Ph.D. proposal.)
Expressiveness in Mobile Process Calculi
(M.Sc. thesis.)