KNAW

Person

Dr. R.P. Nederpelt

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

Active as

Professor emeritus
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