About: Helmut Veith

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property	Value
dbo:abstract	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. (en) 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). (fr)
dbo:academicDiscipline	dbr:Computer_security dbr:Computer_Aided_Verification dbr:Software_engineering dbr:Logic_in_computer_science
dbo:almaMater	dbr:TU_Wien
dbo:birthDate	1971-02-05 (xsd:date)
dbo:birthPlace	dbr:Vienna
dbo:deathDate	2016-03-12 (xsd:date)
dbo:deathPlace	dbr:Vienna
dbo:doctoralAdvisor	dbr:Georg_Gottlob
dbo:wikiPageExternalLink	http://www.vcla.at/ http://forsyte.at/people/veith/
dbo:wikiPageID	50030179 (xsd:integer)
dbo:wikiPageLength	7013 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1116617348 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Carnegie_Mellon_University dbr:President_of_Austria dbr:Query_language dbr:Vienna dbr:Department_of_Computer_Science_of_TU_Darmstadt dbc:1971_births dbr:Computer_security dbr:Vienna_University_of_Technology dbr:Georg_Gottlob dbr:Model_checking dbc:Austrian_computer_scientists dbr:Computational_complexity_theory dbr:Computer_Aided_Verification dbr:Professor dbr:Theoretical_computer_science dbr:Software_engineering dbr:Adjunct_professor dbc:Scientists_from_Vienna dbc:TU_Wien_alumni dbr:Habilitation dbr:Logic_in_computer_science dbr:Database dbr:Formal_methods dbc:2016_deaths dbc:Technische_Universität_Darmstadt_faculty dbc:Academics_of_TU_Wien dbc:Formal_methods_people dbr:TU_Wien dbr:Pittsburgh dbr:Informatics_(academic_field) dbr:Vienna_Summer_of_Logic dbr:Program_analysis dbr:Stefan_Szeider dbr:TU_Munich dbr:TU_Darmstadt
dbp:almaMater	dbr:TU_Wien
dbp:birthDate	1971-02-05 (xsd:date)
dbp:birthPlace	Vienna, Austria (en)
dbp:citizenship	Austria (en)
dbp:deathDate	2016-03-12 (xsd:date)
dbp:deathPlace	Vienna, Austria (en)
dbp:doctoralAdvisor	dbr:Georg_Gottlob
dbp:field	Computer security (en) Logic in computer science (en) Software engineering (en) (en) Computer-aided Verification (en)
dbp:name	Helmut Veith (en)
dbp:website	http://forsyte.at/people/veith/
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Birth_date dbt:Reflist dbt:Short_description dbt:Death_date_and_age dbt:Infobox_scientist
dbp:workInstitution	Carnegie Mellon University (en) TU Wien (en) (en) TU Darmstadt (en) TU Munich (en)
dcterms:subject	dbc:1971_births dbc:Austrian_computer_scientists dbc:Scientists_from_Vienna dbc:TU_Wien_alumni dbc:2016_deaths dbc:Technische_Universität_Darmstadt_faculty dbc:Academics_of_TU_Wien dbc:Formal_methods_people
schema:sameAs	http://viaf.org/viaf/21676994
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person wikidata:Q901
rdfs:comment	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. (en) 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). (fr)
rdfs:label	Helmut Veith (en) Helmut Veith (fr)
owl:sameAs	http://viaf.org/viaf/21676994 yago-res:Helmut Veith http://d-nb.info/gnd/141019107 https://dblp.org/pid/v/HelmutVeith wikidata:Helmut Veith dbpedia-fr:Helmut Veith https://global.dbpedia.org/id/2EmkA
prov:wasDerivedFrom	wikipedia-en:Helmut_Veith?oldid=1116617348&ns=0
foaf:homepage	http://forsyte.at/people/veith/
foaf:isPrimaryTopicOf	wikipedia-en:Helmut_Veith
foaf:name	Helmut Veith (en)
is dbo:doctoralStudent of	dbr:Georg_Gottlob
is dbo:wikiPageWikiLink of	dbr:Deaths_in_March_2016 dbr:List_of_people_by_Erdős_number dbr:Georg_Gottlob dbr:Stefan_Szeider
is foaf:primaryTopic of	wikipedia-en:Helmut_Veith