About: Tobias Nipkow     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : schema:Person, within Data Space : dbpedia.org associated with source document(s)

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.

AttributesValues
rdf:type
rdfs:label
  • Tobias Nipkow
rdfs: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. He is chair of the Logic and Verification group since 2011.
sameAs
birth date
  • 1958-0-0
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
foaf:name
  • Tobias Nipkow
dct:description
  • German computer scientist
foaf:givenName
  • Tobias
foaf:gender
  • male
foaf:isPrimaryTopicOf
foaf:surname
  • Nipkow
prov:wasDerivedFrom
has 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.
doctoral advisor
known for
residence
doctoral students
  • 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
birth date
thesis title
  • Behavioural Implementation Concepts for Nondeterministic Data Types
thesis url
thesis year
workplaces
http://purl.org/voc/vrank#hasRank
http://purl.org/li...ics/gold/hypernym
is Link from a Wikipage to another Wikipage of
is foaf:primaryTopic of
is editor of
Faceted Search & Find service v1.17_git39 as of Aug 09 2019


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3232 as of Jan 24 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software