Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q18217799> ?p ?o }
Showing triples 1 to 67 of
67
with 100 triples per page.
- Q18217799 description "German computer scientist".
- Q18217799 description "German computer scientist".
- Q18217799 subject Q5312304.
- Q18217799 subject Q6647540.
- Q18217799 subject Q7035920.
- Q18217799 subject Q7996495.
- Q18217799 subject Q9580543.
- Q18217799 abstract "Tobias Nipkow (born 1958) is a German computer scientist. He received his Diplom (MSc) in computer science from the Technische Hochschule Darmstadt in 1982, and his Ph.D. from the University of Manchester in 1987. He worked at MIT from 1987, changed to Cambridge University in 1989, and to Technical University Munich in 1992, where he was appointed professor for programming theory. He is chair of the Logic and Verification group since 2011.He is known for his work in interactive and automatic theorem proving, in particular for the Isabelle proof assistant; he is the editor of the Journal of Automated Reasoning. Moreover, he focuses on programming language semantics, type systems and functional programming.".
- Q18217799 birthDate "1958".
- Q18217799 birthYear "1958".
- Q18217799 doctoralAdvisor Q5132649.
- Q18217799 knownFor Q460340.
- Q18217799 residence Q1726.
- Q18217799 wikiPageExternalLink id.php?id=112831.
- Q18217799 wikiPageExternalLink Nipkow:Tobias.html.
- Q18217799 wikiPageExternalLink 18002367.
- Q18217799 wikiPageExternalLink ~nipkow.
- Q18217799 wikiPageWikiLink Q1224715.
- Q18217799 wikiPageWikiLink Q157808.
- Q18217799 wikiPageWikiLink Q1726.
- Q18217799 wikiPageWikiLink Q18209412.
- Q18217799 wikiPageWikiLink Q21198.
- Q18217799 wikiPageWikiLink Q230899.
- Q18217799 wikiPageWikiLink Q310695.
- Q18217799 wikiPageWikiLink Q35794.
- Q18217799 wikiPageWikiLink Q460340.
- Q18217799 wikiPageWikiLink Q4650737.
- Q18217799 wikiPageWikiLink Q49108.
- Q18217799 wikiPageWikiLink Q5132649.
- Q18217799 wikiPageWikiLink Q5159939.
- Q18217799 wikiPageWikiLink Q5312304.
- Q18217799 wikiPageWikiLink Q5970489.
- Q18217799 wikiPageWikiLink Q5978719.
- Q18217799 wikiPageWikiLink Q6049670.
- Q18217799 wikiPageWikiLink Q6294821.
- Q18217799 wikiPageWikiLink Q6504468.
- Q18217799 wikiPageWikiLink Q6647540.
- Q18217799 wikiPageWikiLink Q7035920.
- Q18217799 wikiPageWikiLink Q7996495.
- Q18217799 wikiPageWikiLink Q829984.
- Q18217799 wikiPageWikiLink Q924044.
- Q18217799 wikiPageWikiLink Q92729.
- Q18217799 wikiPageWikiLink Q9580543.
- Q18217799 dateOfBirth "1958".
- Q18217799 doctoralAdvisor Q5132649.
- Q18217799 knownFor Q460340.
- Q18217799 name "Nipkow, Tobias".
- Q18217799 name "Tobias Nipkow".
- Q18217799 residence Q1726.
- Q18217799 shortDescription "German computer scientist".
- Q18217799 type Person.
- Q18217799 type Agent.
- Q18217799 type Person.
- Q18217799 type Scientist.
- Q18217799 type Agent.
- Q18217799 type NaturalPerson.
- Q18217799 type Thing.
- Q18217799 type Q215627.
- Q18217799 type Q5.
- Q18217799 type Q901.
- Q18217799 type Person.
- Q18217799 comment "Tobias Nipkow (born 1958) is a German computer scientist. He received his Diplom (MSc) in computer science from the Technische Hochschule Darmstadt in 1982, and his Ph.D. from the University of Manchester in 1987. He worked at MIT from 1987, changed to Cambridge University in 1989, and to Technical University Munich in 1992, where he was appointed professor for programming theory.".
- Q18217799 label "Tobias Nipkow".
- Q18217799 givenName "Tobias".
- Q18217799 name "Nipkow, Tobias".
- Q18217799 name "Tobias Nipkow".
- Q18217799 surname "Nipkow".