Destecs

CHESS (Computer Hardware En Systeem Software) is a privately owned SME founded in 1989 with approximately 150 staff. Chess delivers products and services to clients in banking, insurance, transport, trade and industry, mostly Top-100 firms with a strong presence in The Netherlands such ING Bank, Rabobank, Interpay, Flower Auction at Aalsmeer, the European Space Agency, Philips, ASML, Siemens VDO Automotive and Océ Technologies.

Staff

Marcel Verhoef (1968) obtained his MSc degree in computer science from Delft University of Technology in 1993 (Ph.D. expected in 2007 from Radboud University Nijmegen). He has worked in industry for most of his career. He is currently a member of the Chess Innovation Team and he represents Chess in the BODERC research project at the Embedded Systems Institute where he has performed applied academic research in the area of multi-disciplinary design of embedded real-time control systems since 2003. He has authored several scientific papers and co-authored a book on practical application of formal techniques in industry. Many of these publications have been written jointly with the other proposers from this consortium. An overview of his work can be found on his web-site http://www.marcelverhoef.nl. Marcel is treasurer of Formal Methods Europe and a member of KIVI, IEEE, ACM and INCOSE.