Stefan Vijzelaar

PhD Student

Theoretical Computer Science and Computer Systems (HPDC) Sections
Department of Computer Science
Faculty of Sciences
VU University Amsterdam

Research Interests

• Distributed model checking
• Distributed storage systems

Contact Information

Telephone: +31 20 59 89886
Email:

My Office

Room T-437
De Boelelaan 1081
1081 HV Amsterdam

Publications

• Stefan Vijzelaar, Kees Verstoep, Wan Fokkink, Henri E. Bal, Distributed MAP in the SpinJa Model Checker, In PDMC, pages 84-90, 2011.

• Stefan Vijzelaar, Herbert Bos and Wan Fokkink, Brief Announcement: A Shared Disk on Distributed Storage, In PODC, pages 79-80, 2010.

Technical Reports

• Stefan Vijzelaar, A Virtual Shared Disk on Distributed Redundant Storage, VU technical report IS-TI-010, April 2010.

Talks

• Distributed MAP in the SpinJa Model Checker, ICT.OPEN'11, Veldhoven, November 14, 2011.
• Distributed MAP in the SpinJa Model Checker, PDMC'11, Snowbird (Utah), July 14, 2011.

• Brief Announcement: A Shared Disk on Distributed Storage, PODC'10, Zurich, July 26, 2010.
• A Shared Disk on Distributed Storage, DMCD'10, Eindhoven, July 9, 2010.

Teaching

• Assistant for Concurrency and Multithreading, VU University Amsterdam, 2011.
• Assistant for Advanced Programming, VU University Amsterdam, 2010.

Events

• ICT.OPEN, Veldhoven, November 14, 2011.
• CAV/PDMC/SPIN, Snowbird (Utah), July 14, 2011.
• Dutch Model Checking Day, Delft, June 17, 2011.

• SIREN//NL, Veldhoven, November 1, 2010.
• PDMC/HiBi, Enschede, September 30, 2010.
• SPIN, Enschede, September 27, 2010.
• PODC, Zurich (Switzerland), July 26, 2010.
• Dutch Model Checking Day, Eindhoven, July 9, 2010.

• ERC Symposium Andy Tanenbaum, Amsterdam, April 28, 2009.

Courses

• IPA Herfstdagen, Veldhoven, November 14, 2011.
• Summer School Marktoberdorf, Bayrischzell (Germany), August 2, 2011.
• Scientific Writing in English, Amsterdam, March 10, 2011.

• ASCI Architecture and Programming of Many-Core Processors, Amsterdam, November 29, 2010. (lectures)
• ASCI Fundamentals and Design of Distributed Systems, Amsterdam, November 11, 2010. (lectures)
• IPA Herfstdagen, Veldhoven, November 1, 2010.
• IPA Lentedagen on Multi-Core Computing, Oisterwijk, April 21, 2010.