| dbo:academicDiscipline
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:description
|
- Computer Scientist (en)
- компютърен учен (bg)
|
| dbo:doctoralAdvisor
| |
| dbo:originalName
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:caption
|
- Professor Martin Vechev (en)
|
| dbp:doctoralAdvisor
| |
| 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
| |
| dbp:nationality
| |
| dbp:nativeName
| |
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralStudents
of | |
| is foaf:primaryTopic
of | |
