Rob Nederpelt

Rob Nederpelt is working in the computer science department at the Formal Methods group of the Eindhoven University of Technology.

On this website you can find:

• contact information
• personal information
• a list of my publications
• information on courses that I give
• links to a personal selection of sites