Ph.D. Defenses in 2006

• 11 December, Biniam Gebremichael
  Expressivity of Timed Automata Models
  Faculty of Science, Mathematics and Computer Science, RU
• 27 November, Louis van Gool
  Formalising Interface Specifications
  Faculty of Mathematics and Computer Science
• 27 November, Martijn Warnier
  Language Based Security for Java and JML
  Faculty of Science, Mathematics and Computer Science, RU
• 6 November, Cas Cremers
  Scypter - Semantics and Verification of Security Protocols
  Faculty of Mathematics and Computer Science
• 2 October, Arjan Mooij
  Constructive formal methods and protocol standardization
  Faculty of Mathematics and Computer Science, TU/e
• 20 September, Vasughi Sundramoorthy
  At home in service discovery
  Faculty of Electrical Engineering, Mathematics & Computer Science, UT
• 18 September, Ling Cheung
  Reconciling Nondeterministic and Probabilistic Choices
  Faculty of Science, Mathematics and Computer Science, RU
• 7 September, Bahareh Badban
  Verification techniques for Extensions of Equality Logic
  Faculty of Sciences, VUA
• 6 September, Tomas Krilavicius
  Hybrid Techniques for Hybrid Systems
  Faculty of Electrical Engineering, Mathematics & Computer Science, UT
• 27 June, Giovanni Russello
  Separation and Adaptation of Concerns in a Shared Data Space
  Faculty of Mathematics and Computer Science, TU/e
• 15 May, Siegfried Nijssen
  Mining Structured Data
  Faculty of Mathematics and Natural Sciences, UL
• 24 April, Cees-Bart Breunesse
  On JML: topics in tool-assisted verification of JML programs
  Faculty of Science, Mathematics and Computer Science, RU
• 4 April, Martijn Hendriks
  Model Checking Timed Automata - Techniques and Applications
  Faculty of Science, Mathematics and Computer Science, RU
• 4 April, Marcel Kyas
  Verifying OCL Specifications of UML Models: Tool Support and Compositionality
  Faculty of Mathematics and Natural Sciences, UL
• 20 March, Jeroen Ketema
  Böhm-Like Trees for Rewriting
  Faculty of Sciences, VUA
• 14 March, Albert Jan Markvoort
  Towards Hybrid Molecular Simulations
  Faculty of Biomedical Engineering, TU/e
• 7 February, Ka Lok Man and Ramon Schiffelers
  Formal Specification and Analysis of Hybrid Systems
  Faculty of Mathematics and Computer Science and Faculty of Mechanical Engineering, TU/e
• 1 February, Peter Verbaan
  The Computational Complexity of Evolving Systems
  Faculty of Science, UU
• 18 January, Eelco Dolstra
  The Purely Functional Software Deployment Model
  Faculty of Science, UU
• 12 January, Ricardo Javier Corin
  Analysis Models for Security Protocols
  Faculty of Electrical Engineering, Mathematics & Computer Science, UT