About: Martin Vechev

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

Martin Vechev is a professor at the Department of Computer Science at ETH Zurich working in the fields of programming languages, machine learning, and security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science. He is known for his pioneering works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases, reliable and trustworthy artificial intelligence, where he introduced abstract interpretation methods for reasoning about deep neural networks to enable the verification of large machine learning models, and quantum programming, introducing the first high-level programming language and system Silq.

Property	Value
dbo:abstract	Martin Vechev is a professor at the Department of Computer Science at ETH Zurich working in the fields of programming languages, machine learning, and security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science. He is known for his pioneering works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases, reliable and trustworthy artificial intelligence, where he introduced abstract interpretation methods for reasoning about deep neural networks to enable the verification of large machine learning models, and quantum programming, introducing the first high-level programming language and system Silq. Vechev has received the ACM SIGPLAN Robin Milner Young Researcher Award in 2019 and a highly-visible ERC Starting Grant, which helped shape the area of machine learning for code. In 2016, his Ph.D. student Veselin Raychev received an Honorable Mention for the ACM Doctoral Dissertation Award and in 2021 his Ph.D. student Gagandeep Singh received the ACM SIGPLAN Doctoral Dissertation Award. Vechev has also co-founded the deep tech start-ups LatticeFlow, DeepCode, and ChainSecurity. (en)
dbo:academicDiscipline	dbr:Computer_security dbr:Machine_learning
dbo:almaMater	dbr:University_of_Cambridge dbr:Simon_Fraser_University
dbo:award	dbr:ERC_Starting_Grant
dbo:birthDate	1977-07-24 (xsd:date)
dbo:birthPlace	dbr:Sofia
dbo:wikiPageExternalLink	https://www.sri.inf.ethz.ch
dbo:wikiPageID	68212235 (xsd:integer)
dbo:wikiPageLength	13123 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1116099105 (xsd:integer)
dbo:wikiPageWikiLink	dbc:Programming_language_researchers dbr:President_of_Bulgaria dbr:University_of_Cambridge dbc:Living_people dbr:Computer_security dbr:Machine_learning dbr:Simon_Fraser_University dbr:Communications_of_the_ACM dbr:Computer_science dbc:ETH_Zurich_faculty dbc:1977_births dbr:ETH_Zurich dbr:ACM_SIGPLAN dbr:ACM_Doctoral_Dissertation_Award dbr:Sofia dbr:OOPSLA dbr:Thomas_J._Watson_Research_Center dbr:Programming_language dbr:SIGPLAN dbr:ERC_Starting_Grant
dbp:almaMater	dbr:University_of_Cambridge dbr:Simon_Fraser_University
dbp:birthDate	1977-07-24 (xsd:date)
dbp:birthPlace	Sofia, Bulgaria (en)
dbp:field	Programming Languages, Machine Learning, Security (en)
dbp:knownFor	Machine learning for code , Robust and Trustworthy AI, Quantum Programming, Silq Programming Language (en)
dbp:name	Martin Vechev (en)
dbp:nationality	Bulgarian (en)
dbp:prizes	ERC Starting Grant (en) Distinguished Paper Awards (en) Facebook Faculty Award (en) Google Faculty Award (en) IBM Extraordinary Accomplishment Award (en) IBM Research Outstanding Project Award (en) John Atanasoff Award (en) ACM SIGPLAN Robin Milner Young Researcher Award 2019 (en)
dbp:website	https://www.sri.inf.ethz.ch
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Short_description dbt:Use_mdy_dates dbt:Infobox_scientist
dbp:workInstitution	dbr:ETH_Zurich
dct:subject	dbc:Programming_language_researchers dbc:Living_people dbc:ETH_Zurich_faculty dbc:1977_births
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	Martin Vechev is a professor at the Department of Computer Science at ETH Zurich working in the fields of programming languages, machine learning, and security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science. He is known for his pioneering works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases, reliable and trustworthy artificial intelligence, where he introduced abstract interpretation methods for reasoning about deep neural networks to enable the verification of large machine learning models, and quantum programming, introducing the first high-level programming language and system Silq. (en)
rdfs:label	Martin Vechev (en)
owl:sameAs	wikidata:Martin Vechev https://global.dbpedia.org/id/Fz4fR
prov:wasDerivedFrom	wikipedia-en:Martin_Vechev?oldid=1116099105&ns=0
foaf:homepage	https://www.sri.inf.ethz.ch
foaf:isPrimaryTopicOf	wikipedia-en:Martin_Vechev
foaf:name	Martin Vechev (en)
is dbo:wikiPageRedirects of	dbr:Vechev,_Martin
is dbo:wikiPageWikiLink of	dbr:Vechev,_Martin dbr:List_of_programming_language_researchers dbr:SIGPLAN
is foaf:primaryTopic of	wikipedia-en:Martin_Vechev

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License