{"id":"https://openalex.org/A5159598069","orcid":null,"observed_orcids":[],"display_name":"Jiyuan Tan","raw_author_names":["Jiyuan Tan","Tan, Jiyuan"],"full_name":"Jiyuan Tan","works_count":1,"cited_by_count":1,"summary_stats":{"2yr_mean_citedness":1.0,"h_index":1,"i10_index":0},"ids":{"openalex":"https://openalex.org/A5159598069","orcid":null,"observed_orcids":[]},"affiliations":[{"institution":{"id":"https://openalex.org/I97018004","ror":"https://ror.org/00f54p054","display_name":"Stanford University","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]},"years":[2026]}],"last_known_institutions":[{"id":"https://openalex.org/I97018004","ror":"https://ror.org/00f54p054","display_name":"Stanford University","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","count":1,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","count":1,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","count":1,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"topic_share":[{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","value":5.6e-05,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","value":3.9e-06,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","value":2.2e-06,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"x_concepts":[{"id":"108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","score":0.598800003528595},{"id":"138147947","wikidata":"https://www.wikidata.org/wiki/Q1183659","display_name":"Declaration","score":0.5006999969482422},{"id":"115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","score":0.3190999925136566},{"id":"132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","score":0.2757999897003174},{"id":"144559511","wikidata":"https://www.wikidata.org/wiki/Q2986279","display_name":"Principal (computer security)","score":0.27309998869895935}],"counts_by_year":[{"year":2026,"works_count":1,"oa_works_count":1,"cited_by_count":1}],"display_name_alternatives":["Jiyuan Tan","Tan, Jiyuan"],"block_key":"j tan","works_api_url":"https://api.openalex.org/works?filter=author.id:A5159598069","updated_date":"2026-11-07T12:08:38","created_date":"2026-10-27T00:00:00"}