KNAW

Back to search results
Organisation

Intelligent Systems

Pagina-navigatie:


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 page top
Go back to contents
Go back to site navigation