| Birthplace
|
http://dbpedia.org/resource/Sofia +
|
| http://dbpedia.org/ontology/abstract
|
Martin Vechev is a professor at the Depart … 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. LatticeFlow, DeepCode, and ChainSecurity.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_security +
, http://dbpedia.org/resource/Machine_learning +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Simon_Fraser_University +
, http://dbpedia.org/resource/University_of_Cambridge +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/ERC_Starting_Grant +
|
| http://dbpedia.org/ontology/birthDate
|
"1977-07-24"^^xsd:date
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.sri.inf.ethz.ch +
|
| http://dbpedia.org/ontology/wikiPageID
|
68212235
|
| http://dbpedia.org/ontology/wikiPageLength
|
13123
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1116099105
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/ACM_Doctoral_Dissertation_Award +
, http://dbpedia.org/resource/President_of_Bulgaria +
, http://dbpedia.org/resource/Machine_learning +
, http://dbpedia.org/resource/Category:1977_births +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Simon_Fraser_University +
, http://dbpedia.org/resource/Sofia +
, http://dbpedia.org/resource/Category:ETH_Zurich_faculty +
, http://dbpedia.org/resource/OOPSLA +
, http://dbpedia.org/resource/ETH_Zurich +
, http://dbpedia.org/resource/ERC_Starting_Grant +
, http://dbpedia.org/resource/Computer_security +
, http://dbpedia.org/resource/ACM_SIGPLAN +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/University_of_Cambridge +
, http://dbpedia.org/resource/Communications_of_the_ACM +
, http://dbpedia.org/resource/Category:Programming_language_researchers +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/SIGPLAN +
, http://dbpedia.org/resource/Thomas_J._Watson_Research_Center +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Simon_Fraser_University +
, http://dbpedia.org/resource/University_of_Cambridge +
|
| http://dbpedia.org/property/birthDate
|
"1977-07-24"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
Sofia, Bulgaria
|
| http://dbpedia.org/property/field
|
Programming Languages, Machine Learning, Security
|
| http://dbpedia.org/property/knownFor
|
Machine learning for code , Robust and Trustworthy AI, Quantum Programming, Silq Programming Language
|
| http://dbpedia.org/property/name
|
Martin Vechev
|
| http://dbpedia.org/property/nationality
|
Bulgarian
|
| http://dbpedia.org/property/prizes
|
John Atanasoff Award
, ACM SIGPLAN Robin Milner Young Researcher Award 2019
, ERC Starting Grant
, Facebook Faculty Award
, Google Faculty Award
, IBM Extraordinary Accomplishment Award
, IBM Research Outstanding Project Award
, Distinguished Paper Awards
|
| http://dbpedia.org/property/website
|
https://www.sri.inf.ethz.ch +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Use_mdy_dates +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/ETH_Zurich +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:ETH_Zurich_faculty +
, http://dbpedia.org/resource/Category:1977_births +
, http://dbpedia.org/resource/Category:Programming_language_researchers +
, http://dbpedia.org/resource/Category:Living_people +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Martin_Vechev?oldid=1116099105&ns=0 +
|
| http://xmlns.com/foaf/0.1/homepage
|
https://www.sri.inf.ethz.ch +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Martin_Vechev +
|
| http://xmlns.com/foaf/0.1/name
|
Martin Vechev
|
| owl:sameAs |
https://global.dbpedia.org/id/Fz4fR +
, http://dbpedia.org/resource/Martin_Vechev +
, http://www.wikidata.org/entity/Q104672235 +
|
| rdf:type |
http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Species +
, http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q729 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Person +
, http://schema.org/Person +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q901 +
|
| rdfs:comment |
Martin Vechev is a professor at the Depart … 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.evel programming language and system Silq.
|
| rdfs:label |
Martin Vechev
|
