KNAW

Terug naar zoekresultaat
Organisatie

Intelligent Systems

Pagina-navigatie:


Wijzig Organisatiedata


Behoort tot Institute for Computing and Information Sciences - ICIS
Behoort tot Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Behoort tot Radboud Universiteit Nijmegen
Adres Heyendaalseweg 135, kamernr: HG02.523, 6525 AJ Nijmegen
Routebeschrijving Google Maps
Postadres Postbus 9010, 6500 GL Nijmegen
Email nicole -at- cs. ru. nl

Personen

Hoogleraar Prof.dr. H.P. Barendregt
Hoogleraar Prof.dr. J.H. Geuvers
Hoogleraar Prof.dr. T.M. Heskes
Bijzonder hoogleraar Prof.dr. H. Zantema
Universitair hoofddocent Dr. D.C. van Leijenhorst
Universitair hoofddocent Dr. E. Marchiori

Lopend onderzoek

(het meest recente onderzoek is bovenaan geplaatst)
Penvoerder Learning to Reason: a Machine Learning Approach for Computer-Assisted Reasoning
Penvoerder A hardware description language for verified circuits
Penvoerder Formalizing the C99 standard in HOL, Isabelle and Coq
Penvoerder Categorical and ALgebraic MOdels of Computation
Penvoerder Graphs for Multi Task Learning
Alle lopend onderzoek..

Afgesloten onderzoek

(het meest recente onderzoek is bovenaan geplaatst)
Penvoerder Advancing the Real use of Proof Assistants - ARPA

Classificatie

D16000 Informatica

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie