Ph.D. Defenses in 2004

• 9 December, Pieter Cuijpers
  Hybrid Process Algebra
  Faculty of Mathematics and Computer Science, TU/e
• 7 December, Barend van den Nieuwelaar
  Supervisory Machine Control by Predictive-Reactive Scheduling
  Faculty of Mechanical Engineering, TU/e
• 6 December, Evgeny Eskenazi and Alexander Fyukov
  Quantitative Prediction of Quality Attributes for Component-Based Software Architectures
  Faculty of Mathematics and Computer Science, TU/e
• 25 November, Simona Orzan
  On Distributed Verification and Verified Distribution
  Faculty of Sciences, Division of Mathematics and Computer Science, VUA
• 26 October, Jun Pang
  Formal Verification of Distributed Systems
  Faculty of Sciences, Division of Mathematics and Computer Science, VUA
• 15 October, Martijn Schrage
  Proxima - A presentation-oriented editor for structured documents
  Faculty of Mathematics and Computer Science, UU
• 7 October, Floortje Alkemade
  Evolutionary Agent-Based Economy
  Faculty of Technology Management, TU/e
• 7 October, Nicolae Goga
  Control and Selection Techniques for the Automated Testing of Reactive Systems
  Faculty of Mathematics and Computer Science, TU/e
• 6 October, Esko Dijk
  Indoor Ultrasonic Position Estimation Using a Single Base Station
  Faculty of Mathematics and Computer Science, TU/e
• 30 September, Ingrid Flinsenberg
  Route Planning Algorithms for Car Navigation
  Faculty of Mathematics and Computer Science, TU/e
• 29 September, Reinder Bril
  Real-time Scheduling for Media Processing Using Conditionally Guaranteed Budgets
  Faculty of Mathematics and Computer Science, TU/e
• 27 September, Milad Niqui
  Formalising Exact Arithmetic: Representations, Algorithms and Proofs
  Faculty of Science, Mathematics and Computer Science, RU
• 2 September, Andres Löh
  Exploring Generic Haskell
  Faculty of Mathematics and Computer Science, UU
• 6 July, Enrico Gerding
  Autonomous Agents in Bargaining Games: An Evolutionary Investigation of Fundamentals, Strategies, and Business Applications
  Faculty of Technology Management, TU/e
• 15 June, Luís Cruz-Filipe
  Constructive Real Analysis: a Type-Theoretical Formalization and Applications
  Faculty of Science, Mathematics and Computer Science, KUN
• 3 June, Falk Bartels
  On Generalised Coinduction and Probabilistic Specification Formats -- Distributive Laws in Coalgebraic Modelling
  Faculty of Sciences, Division of Mathematics and Computer Science, VUA
• 3 June, Pierluigi Frisco
  Theory of Molecular Computing -- Splicing and Membrane systems
  Faculty of Mathematics and Natural Sciences, UL
• 2 June, Yuechen Qian
  Data Synchronization and Browsing for Home Environments
  Faculty of Mathematics and Computer Science and Faculty of Industrial Design, TU/e
• 27 May, Sebastian Maneth
  Models of Tree Translation
  Faculty of Mathematics and Natural Sciences, UL
• 8 April, Wil Michiels
  Performance Ratios for the Differencing Method
  Faculty of Mathematics and Computer Science, TU/e
• 5 April, Georgi Jojgov
  Incomplete Proofs and Terms and Their Use in Interactive Theorem Proving
  Faculty of Mathematics and Computer Science, TU/e