Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Tobias_Nipkow> ?p ?o }
Showing triples 1 to 94 of
94
with 100 triples per page.
- Tobias_Nipkow 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.".
- Tobias_Nipkow birthDate "1958".
- Tobias_Nipkow birthYear "1958".
- Tobias_Nipkow doctoralAdvisor Cliff_Jones_(computer_scientist).
- Tobias_Nipkow knownFor Isabelle_(proof_assistant).
- Tobias_Nipkow residence Munich.
- Tobias_Nipkow wikiPageExternalLink id.php?id=112831.
- Tobias_Nipkow wikiPageExternalLink Nipkow:Tobias.html.
- Tobias_Nipkow wikiPageExternalLink 18002367.
- Tobias_Nipkow wikiPageExternalLink ~nipkow.
- Tobias_Nipkow wikiPageID "43946143".
- Tobias_Nipkow wikiPageLength "6000".
- Tobias_Nipkow wikiPageOutDegree "31".
- Tobias_Nipkow wikiPageRevisionID "654814860".
- Tobias_Nipkow wikiPageWikiLink ACM_Transactions_on_Programming_Languages_and_Systems.
- Tobias_Nipkow wikiPageWikiLink Category:1958_births.
- Tobias_Nipkow wikiPageWikiLink Category:German_computer_scientists.
- Tobias_Nipkow wikiPageWikiLink Category:Living_people.
- Tobias_Nipkow wikiPageWikiLink Category:Technische_Universität_München_faculty.
- Tobias_Nipkow wikiPageWikiLink Category:Theoretical_computer_scientists.
- Tobias_Nipkow wikiPageWikiLink Cliff_Jones_(computer_scientist).
- Tobias_Nipkow wikiPageWikiLink Computer_science.
- Tobias_Nipkow wikiPageWikiLink Conference_on_Automated_Deduction.
- Tobias_Nipkow wikiPageWikiLink DBLP.
- Tobias_Nipkow wikiPageWikiLink Diplom.
- Tobias_Nipkow wikiPageWikiLink Franz_Baader.
- Tobias_Nipkow wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Tobias_Nipkow wikiPageWikiLink Isabelle_(proof_assistant).
- Tobias_Nipkow wikiPageWikiLink Journal_of_Automated_Reasoning.
- Tobias_Nipkow wikiPageWikiLink Lawrence_Paulson.
- Tobias_Nipkow wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Tobias_Nipkow wikiPageWikiLink Massachusetts_Institute_of_Technology.
- Tobias_Nipkow wikiPageWikiLink Mathematics_Genealogy_Project.
- Tobias_Nipkow wikiPageWikiLink Munich.
- Tobias_Nipkow wikiPageWikiLink Nachum_Dershowitz.
- Tobias_Nipkow wikiPageWikiLink Symposium_on_Logic_in_Computer_Science.
- Tobias_Nipkow wikiPageWikiLink Technische_Universität_Darmstadt.
- Tobias_Nipkow wikiPageWikiLink Technische_Universität_München.
- Tobias_Nipkow wikiPageWikiLink University_of_Cambridge.
- Tobias_Nipkow wikiPageWikiLink University_of_Manchester.
- Tobias_Nipkow wikiPageWikiLinkText "Tobias Nipkow".
- Tobias_Nipkow birthDate "1958".
- Tobias_Nipkow dateOfBirth "1958".
- Tobias_Nipkow doctoralAdvisor Cliff_Jones_(computer_scientist).
- Tobias_Nipkow doctoralStudents "Gertrud Bauer, Stefan Berghofer, Amine Chaieb, Florian Haftmann, Johannes Hölzl, Gerwin Klein, Alexander Krauss, Olaf Müller, Dieter Nazareth, Steven Obua, Christian Prehofer, Leonor Prensa-Nieto, Franz Regensburger, Norbert Schirmer, Konrad Slind, David von Oheimb, Tjark Weber, Markus Wenzel, Martin Wildmoser".
- Tobias_Nipkow knownFor Isabelle_(proof_assistant).
- Tobias_Nipkow name "Nipkow, Tobias".
- Tobias_Nipkow name "Tobias Nipkow".
- Tobias_Nipkow residence Munich.
- Tobias_Nipkow shortDescription "German computer scientist".
- Tobias_Nipkow thesisTitle "Behavioural Implementation Concepts for Nondeterministic Data Types".
- Tobias_Nipkow thesisUrl 18002367.
- Tobias_Nipkow thesisYear "1987".
- Tobias_Nipkow wikiPageUsesTemplate Template:Cite_book.
- Tobias_Nipkow wikiPageUsesTemplate Template:Cite_journal.
- Tobias_Nipkow wikiPageUsesTemplate Template:Cite_thesis.
- Tobias_Nipkow wikiPageUsesTemplate Template:Compu-scientist-stub.
- Tobias_Nipkow wikiPageUsesTemplate Template:Infobox_scientist.
- Tobias_Nipkow wikiPageUsesTemplate Template:Persondata.
- Tobias_Nipkow wikiPageUsesTemplate Template:Reflist.
- Tobias_Nipkow wikiPageUsesTemplate Template:URL.
- Tobias_Nipkow workplaces Massachusetts_Institute_of_Technology.
- Tobias_Nipkow workplaces Technische_Universität_München.
- Tobias_Nipkow workplaces University_of_Cambridge.
- Tobias_Nipkow description "German computer scientist".
- Tobias_Nipkow description "German computer scientist".
- Tobias_Nipkow subject Category:1958_births.
- Tobias_Nipkow subject Category:German_computer_scientists.
- Tobias_Nipkow subject Category:Living_people.
- Tobias_Nipkow subject Category:Technische_Universität_München_faculty.
- Tobias_Nipkow subject Category:Theoretical_computer_scientists.
- Tobias_Nipkow hypernym Scientist.
- Tobias_Nipkow type Agent.
- Tobias_Nipkow type Person.
- Tobias_Nipkow type Scientist.
- Tobias_Nipkow type Person.
- Tobias_Nipkow type Agent.
- Tobias_Nipkow type NaturalPerson.
- Tobias_Nipkow type Thing.
- Tobias_Nipkow type Q215627.
- Tobias_Nipkow type Q5.
- Tobias_Nipkow type Q901.
- Tobias_Nipkow type Person.
- Tobias_Nipkow 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.".
- Tobias_Nipkow label "Tobias Nipkow".
- Tobias_Nipkow sameAs Q18217799.
- Tobias_Nipkow sameAs m.0120y3t3.
- Tobias_Nipkow sameAs Q18217799.
- Tobias_Nipkow wasDerivedFrom Tobias_Nipkow?oldid=654814860.
- Tobias_Nipkow givenName "Tobias".
- Tobias_Nipkow isPrimaryTopicOf Tobias_Nipkow.
- Tobias_Nipkow name "Nipkow, Tobias".
- Tobias_Nipkow name "Tobias Nipkow".
- Tobias_Nipkow surname "Nipkow".