Students and Post-Docs

Current

• Post Docs
• 
  
• PhD students
• Behnaz Changizi
• Kasper Dokter
  
• Bahman Pourvatan
• Masters students
• 
  

Past

• Post Docs
• Pascal Bouvry
• Dave G. Clarke
• Nikolay Diakov
• Sean Halle
• Natallia Kokash
• Alexander Lazovik
• Huiye (Helen) Ma
• Eric Monfroy
• George A. Papadopoulos
• Francesco Santini
  
• Marjan Sirjani
• Meng Sun
• Leon van der Torre
• PhD students
• David F. de Oliveira Costa, Vrije Universiteit Amsterdam, 2010.
• Formal models for component connectors
• Juan V. Guillen-Scholten, Leiden University, 2007.
• Mobile channels for exogenous coordination of distributed systems: semantics, implementation and composition
• Allan Hansen, University of Southern California, 1989.
• Tool Positioning and Path Generation Algorithms for Computer-Aided Manufacturing
• Sung-Shik Jongmans, Leiden University, 2016.
• Automata-theoretic protocol programming
  
• Christian Krause, Leiden University, 2011.
• Reconfigurable component connectors
• Mohammad Izadi, Leiden University, 2011.
• Model checking of component connectors
• Stephanie Kemper, Leiden University, 2011.
• Modeling and analysis of real-time coordination patterns
• Young-Joo Moon, Leiden University, 2011.
• Stochastic models for quality of service of component connectors
• Jose Proenca, Leiden University, 2011.
• Synchronous coordination of distributed components
• Bin Wang, University of Southern California, 1991.
• An Operational Approach for Geometric Constraint Satisfaction
• Paul J. Veerkamp, Vrije Universiteit Amsterdam, 1992.
• On the Development of an Artifact and Design Description Language
• Peter Zoeteweij, University of Amsterdam, 2005.
• Composing Constraint Solvers
• Masters students
• Juan V. Guillen-Scholten, Leiden University, 2001
• Yonghzi Li, Leiden University, 2005
• Min Xie, Leiden University, 2005
• Hok-Kwan Kan, Technical University of Delft, 2005
• Mathijs van de Nes, Leiden University, 2015
  
• Michiel F.A. Pouw, Leiden University, 2009
• Roald de Vries, Leiden University, 2010
• Tobias Kappe, Leiden University, 2016.