Home > Research > Dissertations 1985 - now

Computer Science PhDs since 1985

Student	Year	Group	Employer	Advisor	Thesis













R.Bakhshi	13-01-2011	TI		Prof. Dr. W. Fokkink Prof. dr. ir. M. v. Steen	Gossiping Models. Formal Analysis of Epidemic Protocols
V.A.Pijpers	17-12-2010	BWM		Prof. dr. H. Akkermans Dr. J.Gordijn, copromotor	e3alignment: Exploring Inter-Organizational Business ICT Alignment
D.F. de Oliveira Costa	13-12-2010	TI		prof.dr. J.J.M.M.Rutten prof.dr. F.Arbab Dr.M.niqui, copromotor Dr. D.G. Clarke, copromotor	Formal models for component connectors
P. van Maanen	09-12-2010	Artificial Intelligence	TNO	Prof. dr. J. Treur Dr. T. Bosse	Adaptive Support for Human-Computer Teams. Exploring the Use of Cognitive Models of Trust and Attention
P.N. van der Spek	30-11-2010	IMSE		prof. dr. C. Verhoef Dr.A.S.Klusener, copromotor	Managing software evolution in embedded systems
N.Drost	25-11-2010	CS		Prof. dr. ir. H. Bal dr. R.V. van Nieuwpoort, dr. F.J. Seinstra, copromotoren	Real-World Distrubuted Supercomputing
V.V.Zaytsev	27-10-2010	IMSE		prof. dr. C. Verhoef Prof.dr. R. Laemmel	Recovery, Convergence and Documentation of Languages
S. de Kinderen	25-10-2010	BWM		Prof. dr. H. Akkermans Dr. J.Gordijn, copromotor	Needs-driven service bundling in a multi-suppliersetting: The comuputational e3 service approach
M.H.J.Nijhuis	18-10-2010	CS		Prof. dr. ir. H. Bal Dr. H. Bos, copromotor	A Framework for Parallel Streaming Applications
M.F.J. van Assem	01-10-2010	BWM	VUA	Prof. dr. G. Schreiber Dr. J. v. Ossenbruggen, copromotor	Converting and Integrating Vocabularies for the Semantic Web
G.F.Siddiqui	28-09-2010	Artificial Intelligence		Prof. dr. J. Treur Dr. T. Bosse & Dr. J.F. Hoorn copromotoren	Integrative Modeling of Emotions in Virtual Agents
J.N.Herder	09-09-2010	CS		Prof. dr. A. Tanenbaum	Building a dependable operating system: fault tolerance in MINIX 3
K.Iwanicki	29-06-2010	CS		Prof. dr. ir. M. v. Steen	Hierarchical Routing in Low-Power Wireless Networks
J.Endrullis	01-06-2010	TI	VUA	Prof. dr. J W. Klop Dr. R. de Vrijer,	Termination and Productivity cum laude
Z.A.Memon	25-5-2010	Artificial Intelligence		Prof. dr. J. Treur Dr. T. Bosse	Modelling Human-Awareness in Ambient Agents:: A Human Mindreading Perspective
C.Gerritsen	12-4-2010	Artificial Intelligence	VUA	Prof. dr. J. Treur Dr. M. Klein	Caught in the Act: Investigating Crime by Agent-Based Simulation
S. v. Splunter	29-3-2010	CS	TU Delft	Prof.dr. F. Brazier, dr. P.H.G. v. Langen copromotor	Automated Web Service Reconfiguration
I.Isihara	25-3-2010	TI		Prof. dr. J W. Klop Dr. R. de Vrijer, copromotor	Algorithmic Term Rewriting Systems
S.Kotoulas	24-3-2010	Artificial Intelligence	VUA	Prof.dr. F.A.H. v. Harmelen Dr.R.M.Siebes, copromotor	Scalable discovery of networked data: Algorithms, Infrastructure, Applications
G.Portokalidis	25-2-2010	CS		Prof. dr. ir. H. Bal dr.ir. H.J.Bos	Using Virtualisation to Protect Against Zero-Day Attacks
W.J.de Bruijn	29-1-2010	CS		Prof. dr. ir. H. Bal dr.ir.H.J.Bos, copromotor	Adaptive Operating System Desigtn for High Throughput I/O
S. K. Nair	19-1-2010	CS - S&S	BT	Prof. dr. A. Tanenbaum Dr. B. Crispo copromotor	Remote Policy Enforcement using Java Virtual Machine
W.A. Pirovano	15-1-2010	Bioinformatics	Baseclear	Prof.dr. J. Heringa dr.ir.K.A.Feenstra, copromotor	Comparing building blocks of life: sequence alignment and evaluation of predicted structural and functional features
R. Farenhorst, R. de Boer	05-10-2009	IMSE		Prof. dr. H. v. Vliet dr. P. Lago copromotor	Architectural Knowledge Management: Supporting Architects and Auditors
W. ter Hage	19-01-2009	BWM	VU	Prof. dr. G. Schreiber	Evaluating Ontology-Alignment Techniques
V. Nannen	2009	Artificial Intelligence		Prof.dr. A.E.Eiben	Evolutionary Agent-Based Policy Analysis in Dynamic Environment
M. Rieback	2008	CS - S&S	VU	Prof. dr. A. Tanenbaum	Security and Privacy of Radio Freequency Identification
J. Schalken	2007	IMSE	-	Prof. dr. H. v. Vliet	Empirical Investigations of Software Process Improvement
N. Veerman	2007	IMSE	VU	prof. dr. C. Verhoef	Automated Mass Maintenance of Software Assets
B. Popescu	2007	CS	Optiver	Prof. dr. A. Tanenbaum	Design and Impl. of a Secure Wide-Area Object Middleware
M. Hoogendoorn	2007	Artificial Intelligence	VU	Prof. dr. J. Treur	Modeling of Change in Multi-Agent Organizations
K. Jong	2007	Artificial Intelligence	-	Eiben	Machine Learning for Human Cancer Research
D. Mobach	2007	CS	-	Brazier	Agent-Based Mediated Service Negotiation
G. Wresinska	2007	CS	Pointlogic	Prof. dr. ir. H. Bal	Handling Complexity and Changes in Grid Computing
M. Szymaniak	2007	CS	Google	Prof. dr. ir. M. v.Steen	Latency-Driven Replication for Globally Distributed Systems
C. Stormer	2007	IMSE	ETAS	prof. dr. C.Verhoef	Software Quality Attribute Analysis by Architecture Reconstruction
S.Sivasubramanian	2006	CS	Amazon.com	Prof. dr. ir. M. v. Steen	Scalable Hosting of Web Applications
L. Hollink	2006	BWM	VU	Prof. dr. G. Schreiber	Semantic Annotation for Retrieval of Visual Resources
J. Hoorn	09-10-2006	IMSE	VU	Prof. dr. G.C. v. d. Veer prof. dr. H. v. Vliet	Software Requirements: Update, Upgrade, Redesign : Towards a Theory of Requirements Change
S. Vougaris	2006	CS	ETH	Prof. dr. ir. M. v. Steen	Epidemic-Based Self-Organization in Peer-to-Peer Systems
B. Badban	2006	TI	U. of Oldenburg	Prof. Dr. W. Fokkink	Verification Techniques for Extensions of Equality Logic
B. Bongers	04-07-2006	IMSE	-	Prof. dr. G.C. v.d.Veer Prof. dr. H. v.Vliet	Interactivation -Towards an e-cology of people, our technological environment, and the arts
M. Sabou	2006	Artificial Intelligence	Open U	Van Harmelen	Building Web Service Ontologies
J. Ketema	2006	TI	Tohohu U.	Prof. dr. J W. Klop	Bohm-Like Trees for Rewriting
C. Chisalita	14-03-2006	IMSE	U. of Twente	Prof. dr. G.C. v. d. Veer Prof. dr. H. v. Vliet	Contextual Issues in the Design and Use of Inf. Tech. in Orgs.
M. Espada	2005	TI	U. Madrid	Prof. Dr. Wan Fokkink	Modal Abstracton and Replication of Processes with Data
B. Craenen	2005	Artificial Intelligence	Napier U.	Eiben	Solving Constraint Satisfaction Problems with Evolutionary Algorithms
V. Simossis	2005	Bioinformatics	Stadonlab	Heringa	From Sequence to Structure and Back Again
J. Broekstra	2005	Artificial Intelligence Artificial Intelligence	TUE	Prof.dr. F.A.H. v. Harmelen	Storage Querying and Inferencing for Semantic Web Languages
M. Oey	2005	CS	VU	Prof. dr. A. Tanenbaum	The Design of a High-Integrity Disk Management Subsystem
T. Bosse	2005	Artificial Intelligence Artificial Intelligence	VU	Prof. dr. J. Treur	Analysis of the Dynamics of Cognitive Processes
E. Ogston	2005	CS	VU	Brazier	Agent Based Matchmaking and Clustering
C. Grabmayer	2005	TI	TUE	Prof. dr. J W. Klop	Relating Proof Systems for Recursive Types
M.Evers	10-12-2004	IMSE		Prof. dr. G.C. v. d. Veer. Prof. dr.W.Baets	Learning from Design: facilitating multidisciplinary design teams
S. Orzan	2004	TI	TUE	Prof. Dr. W. Fokkink	On Distributed Verification and Verified Distribution
N. Ioustinova	2004	TI	CWI	Prof. Dr. W. Fokkink	Abstractions and Static Analysis for Verifying Reactive Systems
F. Divina	2004	Artificial Intelligence Artificial Intelligence	U. Tilburg	Eiben	Hybrid Genetic Relational Search for Inductive Learning
M. Klein	2004	BWM	VU	Prof. dr. G. Schreiber	Change Management for Distributed Ontologies
J. Pang	2004	TI	U. of Oldenburg	Prof. Dr. W. Fokkink	Formal Verification of Distributed Systems
M. Caminada	2004	IMSE	U. of Utrecht	Prof. R.P.van der Riet (†)	For the Sake of Argument
I. Kuz	2003	CS	NICTA	Prof. dr. ir. M. van Steen	An Approach to A Scalable Wide-Area Web Service
W. Vogels	2003	CS	Amazon.com	Prof. dr. ir. H. Bal	Scalable Cluster Tech. for Mission-Critical Enterprise Computing
G. Ballintijn	2003	CS	CWI	Prof. dr. A. Tanenbaum	Locating Objects in a Wide-Area System
R. Veldema	2003	CS	U. of Erlangen	Prof. dr. ir. H. Bal	Compiler and Runtime Opt. for Fine-Grained Shared Memory Systems
Van Nieuwpoort	2003	CS	VU	Prof. dr. ir. H. Bal	Efficient Java-Centric Grid-Computing
J. Maassen	2003	CS	VU	Prof. dr. ir. H. Bal	Method Invocation Based Commun. Models for Parallel Prog. in Java
J. Broersen	2003	IMSE	U. of Utrecht	Wieringa	Modal Action Logics for Reasoning about Reactive Systems
H.Stuckenschmidt	23-01-2003	Artificial Intelligence	VU	Prof.dr. F.A.H. v. Harmelen	Ontology-Based Information Sharing in Weakly Structured Environments
J. Gordijn	2002	BWM	VU	Prof. dr. H. Akkermans	Value-based Requirements Eng.: Exploring Innovative E-Commerce Ideas
M. Bognar	2002	TI	Deloitte	Prof. dr. J W. Klop	Contexts in Lambda Calculus
P. van Langen	2002	Artificial Intelligence	Rabofacet	Brazier	The Anatomy of Design
A. Bakker	2002	CS	VU	Tanenbaum	An Object-Based Software Distribution Network
N.Lassing	12-2-2002	IMSE		Prof.dr. Vliet, Hans van Prof.dr. D.B.B.Rijsenbrij	Architecture-Level Modifiablility Analysis
J. den Hartog	2002	TI	TUE	De Bakker	Probabilistic Extensions of Semantical Models
T.M. van Engers	11-12-2001	BWM -IMSE	UvA	Prof. dr. H. Akkermans Dr. G.C. v. d. Veer copromotor	Knowledge Management: The Role of Mental Models in Business Systems Design
S. Blom	2001	CS	CWI	Prof. dr. J W. Klop	Term Graph Rewriting--syntax and semantics
L. van Doorn	2001	CS	AMD	Prof. dr. A. Tanenbaum	The Architecture of a Worldwide Distributed System
P. Homburg	2001	CS	VU	Prof. dr. A. Tanenbaum	The Architecture of a Worldwide Distributed System
Ossenbruggen	2001	IMSE	CWI	Prof. dr. H. v. Vliet	Processing Structured Hypermedia
J. Romein	2001	CS	VU	Prof. dr. ir. H. Bal	Multigame- An Environment for Distributed Game Tree Search
S. Schonhage	2001	IMSE	Object. Tech. Int'l	prof. dr. H. v. Vliet	DIVA Architectural Perspectives on Information Visualization
M. van Welie	17-4-2001	IMSE	Satana	Prof. dr. H. v. Vliet Dr. G.C. v. d. Veer Dr. Anton Eliens copromotoren	Task-based User Interface Design
R. Bhoedjang	2000	CS	Cornell U.	Prof. dr. ir. H. Bal	Communication Architectures for Parallel-Programming Systems
G. de Haan	10-10-2000	IMSE	U. of Maastricht	Prof. dr. H. v. Vliet Dr. G.C. v. d. Veer Dr. M.J.Tauber copromotoren	A Formal Model of Competence Knowledge for User Interface Design
F. Niessink	2000	IMSE	Software Eng. Research Centre	Prof. dr. H. v. Vliet	Perspectives on Improving Software Maintenance
T. Ruhl	2000	CS	Data Distilleries	Prof. dr. ir. H. Bal	Collective Computation in Object-Based Parallel Programming Langs.
J. Engelfriet	2000	Artificial Intelligence	McKinsey	Prof. dr. J. Treur	The Dynamics of Reasoning
M. Sloof	1999	Artificial Intelligence Artificial Intelligence	Everest	Prof. dr. J. Treur	Physiology of Quality Change Modeling
N. Wijngaards	1999	Artificial Intelligence	VU	Prof. dr. J. Treur	Re-design of Compositional Systems
M. Bonsangue	1996	TI	U. of Leiden	De Bakker	Topological Dualities in Semantics
J. Burg	1996	IMSE	Ordina Finance	Prof. R.P.van der Riet (†)	Linguistic Instruments in Requirements Engineering
P. Elsas	1996	IMSE	Deloitte	Prof. R.P.van der Riet (†)	Computational Auditing
P. Lucas	1996	Artificial Intelligence	U. of Aberdeen	Prof. dr. J. Treur	Structures in Diagnosis from Theory to Medical Application
F. Raamsdonk	1996	TI	VU	Prof. dr. J W. Klop	Confluence and Normalisation of Higher-Order Rewriting
D. Turi	1996	TI	U. of Edinburgh	De Bakker	Functional Operational Semantics and its Denotational Dual
F. van Breugel	1994	TI	York U.	De Bakker	Topological Models in Comparative Semantics
V. van Oostrom	1994	TI	U. of Utrecht	Prof. dr. J W. Klop	Confluence for Abstract and Higher-Order Rewriting
P. Spruit	1994	IMSE	Duivenvoorde Software Eng.	Prof. R.P.van der Riet (†)	Logics of Database Updates
E. Horita	1993	TI	NTT Japan	De Bakker	Fully Abstract Models for Concurrent Languages
G. Vreeswijk	1993	TI	U. of Utrecht	Meyer	Studies in Defeasible Argumentation
E. Baalbergen	1992	CS	Nat. Air & Space Lab	Prof. dr. A. Tanenbaum	The Declaritive Operating System Model
W. van der Hoek	1992	TI	U. of Utrecht	Meyer	Modalities for Reasoning about Knowledge and Quantities
F. Kaashoek	1992	CS	M.I.T.	Prof. dr. A. Tanenbaum	Group Communication in Distributed Operating Systems
Y. Tan	1992	Artificial Intelligence	VU	Prof. dr. J. Treur	Architecture and Philosophical Applications
R. Walker	1992	Artificial Intelligence	Cap Gemini	Prof. dr. J. Treur	An Expert System Architecture for Heterogeneous Domains
F. de Boer	1991	TI	U. of Utrecht	De Bakker	Reasoning about Dynamically Evolving Process Structures
R. van Glabbeek	1990	TI	Stanford U.	Prof. dr. J W. Klop	Comparative Concurrency Semantics and Refinement of Actions
A. Middeldorp	1990	TI	U. of Tsukuba	Prof. dr. J W. Klop	Modular Properties of Term Rewriting Systems
E. de Vink	1990	TI	TUE	De Bakker	Designing Stream Based Semantics for Uniform Concurrency and Logic Programming
R. Wieringa	1990	IMSE	U. of Twente	Prof. R.P.van der Riet (†)	Algebraic Foundations for Dynamic Conceptual Models
P. Americana	1989	TI	Philips Research	De Bakker	A Parallel Object-Oriented Language
J. Rutten	1989	TI	CWI	De Bakker	A Parallel Object-Oriented Language
H. Bal	1989	CS	VU	Prof. dr. A. Tanenbaum	The Shared Data Object Model as a Paradigm for Prog. Distr. Sys
F. Dignum	1989	IMSE	U. of Utrecht	Prof. R.P.van der Riet (†)	A Language for Modelling Knowledge Base Systems
J. Kok	1989	TI	U. of Leiden	De Bakker	Semantics Models for Parallel Computation in Data Flow, Logic-, and Object-Oriented Programming
R. van Renesse	1989	CS	Cornell U.	Prof. dr. A. Tanenbaum	Functional Processing as a Paradigm for Distr. Computing
J. Tebra	1989	IMSE	-	Prof. R.P.van der Riet (†)	Optimistic and Parallelism in Prolog
H. Weigand	1989	IMSE	Kath. U. Brabant	Prof. R.P.van der Riet (†)	Linguistically Motivated Principles of Knowledge Base Systems
A. de Bruin	1986	TI	Erasmus U.	De Bakker	Experiments with Continuation Semantics
W. de Jonge	1985	IMSE	VU	Prof. R.P.van der Riet (†)	Security and Privacy in Information Systems
M. Kersten	1985	IMSE	CWI & Data Distilleries	Prof. R.P.van der Riet (†)	A Model for a Secure Programming Environment
J.-J. Ch. Meyer	1985	TI	U. of Utrecht	De Bakker	Programming Calculi Based on Fixed Point Transformations
S. Mullender	1985	CS	Bell Labs	Prof. dr. A. Tanenbaum	Principles of Distributed Operating System Design