Persoon

Dr. R.P. Nederpelt

Pagina-navigatie:

Wijzig persoonsdata

Werkzaam als

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

(de meest recente activiteit is bovenaan geplaatst)
Projectleider	Use and Meaning of Open Terms in Interactive Formal Problem Solving
Onderzoeker	Game, Set, Maths: Formal investigation into logic with imperfect information

D11100	Logica, verzamelingen- en getallenleer
D16200	Software, algoritmen, besturingssystemen
D16300	Theoretische informatica