KNAW
Narcis
Back to search results
Organisation
Intelligent Systems
Pagina-navigatie:
Main
Current research (13)
Update Organisation Data
Part of
Institute for Computing and Information Sciences - ICIS
Part of
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Part of
Radboud Universiteit Nijmegen
Address
Heyendaalseweg 135, kamernr: HG02.523, 6525 AJ Nijmegen
Get directions
Google Maps
Postal address
Postbus 9010, 6500 GL Nijmegen
Email
nicole -at- cs. ru. nl
People
Professor
Prof.dr. H.P. Barendregt
Professor
Prof.dr. J.H. Geuvers
Professor
Prof.dr. T.M. Heskes
Extraordinary professor
Prof.dr. H. Zantema
Associate professor
Dr. D.C. van Leijenhorst
Associate professor
Dr. E. Marchiori
Current research
(the most recent research is at the top)
Secretariat
A hardware description language for verified circuits
Secretariat
Learning to Reason: a Machine Learning Approach for Computer-Assisted Reasoning
Secretariat
A hardware description language for verified circuits
Secretariat
Formalizing the C99 standard in HOL, Isabelle and Coq
Secretariat
Categorical and ALgebraic MOdels of Computation
All current research..
Completed research
(the most recent research is at the top)
Secretariat
Advancing the Real use of Proof Assistants - ARPA
Classification
D16000
Computer science
Go to Website Navigation:
Home
about narcis
Nederlands
Royal Netherlands Academy of Arts and Sciences
Go to page top
Go back to contents
Go back to site navigation