| Birthplace
|
http://dbpedia.org/resource/Vienna +
|
| http://dbpedia.org/ontology/abstract
|
Helmut Veith (5 February 1971 – 12 March 2 … Helmut Veith (5 February 1971 – 12 March 2016) was an Austriancomputer scientist who worked on the areas of computer-aidedverification, software engineering, computer security, and logic in computer science. He was a Professor of Informaticsat the Vienna University of Technology (TU Wien), Austria.iversity of Technology (TU Wien), Austria.
, Helmut Veith (5 février 1971 – 12 mars 201 … Helmut Veith (5 février 1971 – 12 mars 2016) est un informaticien autrichien qui a travaillé dans les domaines du model checking, génie logiciel, sécurité des systèmes d'information, et logique pour l'informatique. Il était professeur d'informatique à l'université technique de Vienne (TU Wien).'université technique de Vienne (TU Wien).
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Logic_in_computer_science +
, http://dbpedia.org/resource/Computer_security +
, http://dbpedia.org/resource/Software_engineering +
, http://dbpedia.org/resource/Computer_Aided_Verification +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/TU_Wien +
|
| http://dbpedia.org/ontology/birthDate
|
"1971-02-05"^^xsd:date
|
| http://dbpedia.org/ontology/deathDate
|
"2016-03-12"^^xsd:date
|
| http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/Vienna +
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Georg_Gottlob +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.vcla.at/ +
, http://forsyte.at/people/veith/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
50030179
|
| http://dbpedia.org/ontology/wikiPageLength
|
7013
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1116617348
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Vienna_Summer_of_Logic +
, http://dbpedia.org/resource/President_of_Austria +
, http://dbpedia.org/resource/Category:2016_deaths +
, http://dbpedia.org/resource/Database +
, http://dbpedia.org/resource/Habilitation +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/Category:Scientists_from_Vienna +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Vienna +
, http://dbpedia.org/resource/Adjunct_professor +
, http://dbpedia.org/resource/Software_engineering +
, http://dbpedia.org/resource/Category:Technische_Universit%C3%A4t_Darmstadt_faculty +
, http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/Category:TU_Wien_alumni +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/Program_analysis +
, http://dbpedia.org/resource/Department_of_Computer_Science_of_TU_Darmstadt +
, http://dbpedia.org/resource/Georg_Gottlob +
, http://dbpedia.org/resource/Informatics_%28academic_field%29 +
, http://dbpedia.org/resource/Carnegie_Mellon_University +
, http://dbpedia.org/resource/TU_Wien +
, http://dbpedia.org/resource/Logic_in_computer_science +
, http://dbpedia.org/resource/Category:Academics_of_TU_Wien +
, http://dbpedia.org/resource/Stefan_Szeider +
, http://dbpedia.org/resource/Computer_Aided_Verification +
, http://dbpedia.org/resource/Professor +
, http://dbpedia.org/resource/Computer_security +
, http://dbpedia.org/resource/Category:1971_births +
, http://dbpedia.org/resource/Vienna_University_of_Technology +
, http://dbpedia.org/resource/TU_Darmstadt +
, http://dbpedia.org/resource/Query_language +
, http://dbpedia.org/resource/Theoretical_computer_science +
, http://dbpedia.org/resource/Pittsburgh +
, http://dbpedia.org/resource/Category:Austrian_computer_scientists +
, http://dbpedia.org/resource/TU_Munich +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/TU_Wien +
|
| http://dbpedia.org/property/birthDate
|
"1971-02-05"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
Vienna, Austria
|
| http://dbpedia.org/property/citizenship
|
Austria
|
| http://dbpedia.org/property/deathDate
|
"2016-03-12"^^xsd:date
|
| http://dbpedia.org/property/deathPlace
|
Vienna, Austria
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Georg_Gottlob +
|
| http://dbpedia.org/property/field
|
Computer-aided Verification
, Software engineering
, Computer security
, Logic in computer science
|
| http://dbpedia.org/property/name
|
Helmut Veith
|
| http://dbpedia.org/property/website
|
http://forsyte.at/people/veith/ +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Infobox_scientist +
|
| http://dbpedia.org/property/workInstitution
|
TU Wien
, TU Munich
, Carnegie Mellon University
, TU Darmstadt
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:Austrian_computer_scientists +
, http://dbpedia.org/resource/Category:Academics_of_TU_Wien +
, http://dbpedia.org/resource/Category:Scientists_from_Vienna +
, http://dbpedia.org/resource/Category:2016_deaths +
, http://dbpedia.org/resource/Category:Technische_Universit%C3%A4t_Darmstadt_faculty +
, http://dbpedia.org/resource/Category:1971_births +
, http://dbpedia.org/resource/Category:TU_Wien_alumni +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/21676994 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Helmut_Veith?oldid=1116617348&ns=0 +
|
| http://xmlns.com/foaf/0.1/homepage
|
http://forsyte.at/people/veith/ +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Helmut_Veith +
|
| http://xmlns.com/foaf/0.1/name
|
Helmut Veith
|
| owl:sameAs |
http://fr.dbpedia.org/resource/Helmut_Veith +
, https://global.dbpedia.org/id/2EmkA +
, https://dblp.org/pid/v/HelmutVeith +
, http://d-nb.info/gnd/141019107 +
, http://viaf.org/viaf/21676994 +
, http://yago-knowledge.org/resource/Helmut_Veith +
, http://dbpedia.org/resource/Helmut_Veith +
, http://www.wikidata.org/entity/Q23707622 +
|
| rdf:type |
http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q901 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/ontology/Eukaryote +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q19088 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/ontology/Scientist +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/ontology/Person +
|
| rdfs:comment |
Helmut Veith (5 February 1971 – 12 March 2 … Helmut Veith (5 February 1971 – 12 March 2016) was an Austriancomputer scientist who worked on the areas of computer-aidedverification, software engineering, computer security, and logic in computer science. He was a Professor of Informaticsat the Vienna University of Technology (TU Wien), Austria.iversity of Technology (TU Wien), Austria.
, Helmut Veith (5 février 1971 – 12 mars 201 … Helmut Veith (5 février 1971 – 12 mars 2016) est un informaticien autrichien qui a travaillé dans les domaines du model checking, génie logiciel, sécurité des systèmes d'information, et logique pour l'informatique. Il était professeur d'informatique à l'université technique de Vienne (TU Wien).'université technique de Vienne (TU Wien).
|
| rdfs:label |
Helmut Veith
|
