Martin Vechev (original) (raw)
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 |
| dcterms: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 |