KNAW

Person

Dr. R.P. Nederpelt

Expertise Formal methods
Expertise (NL) Formele methoden
Addition Pensioen sinds 1/10/2005

Active as

Researcher
Organisation Security and Embedded Networked Systems (TU/e)
Chair (EN) Formal methods
Chair (NL) Formele methoden
Phone +31-40-2472718
Email r. p. nederpelt -at- tue. nl
URL http://www.win.tue.nl/~wsinrpn/

Completed research projects

Classification


Go to page top
Go back to contents
Go back to site navigation