Van de Snepscheut, Jan L. A.

Committee Member — 7 thesises

• Li, Peyyun Peggy — A Parallel Execution Model for Logic Programming (1986, Dissertation (Ph.D.))
• Burns, Steven Morgan — Performance analysis and optimization of asynchronous circuits (1991, Dissertation (Ph.D.))
• Boden, Nanette Jackson — Runtime systems for fine-grain multicomputers (1993, Dissertation (Ph.D.))
• Hofstee, H. Peter — Synchronizing processes (1995, Dissertation (Ph.D.))
• Hazewindus, Pieter Johannes — Testing delay-insensitive circuits (1992, Dissertation (Ph.D.))
• Seizovic, Jakov N. — The architecture and programming of a fine-grain multicomputer (1994, Dissertation (Ph.D.))
• Leino, K. Rustan M. — Toward reliable modular programs (1995, Dissertation (Ph.D.))