{"id":"https://openalex.org/A5111916355","orcid":null,"observed_orcids":[],"display_name":"Kunhang Lv","raw_author_names":["Kunhang Lv","Lv, Kunhang"],"full_name":"Lv, Kunhang","works_count":4,"cited_by_count":4,"summary_stats":{"2yr_mean_citedness":1.0,"h_index":1,"i10_index":0},"ids":{"openalex":"https://openalex.org/A5111916355","orcid":null,"observed_orcids":[]},"affiliations":[{"institution":{"id":"https://openalex.org/I19820366","ror":"https://ror.org/034t30j35","display_name":"Chinese Academy of Sciences","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},"years":[2026,2023]},{"institution":{"id":"https://openalex.org/I4210128818","ror":"https://ror.org/033dfsn42","display_name":"Institute of Software","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},"years":[2026,2023]},{"institution":{"id":"https://openalex.org/I4210165038","ror":"https://ror.org/05qbk4x57","display_name":"University of Chinese Academy of Sciences","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},"years":[2026,2023]},{"institution":{"id":"https://openalex.org/I4391767820","ror":"https://ror.org/01hsx4r68","display_name":"State Key Laboratory of Computer Science","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},"years":[2023]}],"last_known_institutions":[{"id":"https://openalex.org/I19820366","ror":"https://ror.org/034t30j35","display_name":"Chinese Academy of Sciences","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","ror":"https://ror.org/033dfsn42","display_name":"Institute of Software","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","ror":"https://ror.org/05qbk4x57","display_name":"University of Chinese Academy of Sciences","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","count":3,"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":3,"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/T11596","display_name":"Constraint Satisfaction and Optimization","count":3,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10181","display_name":"Natural Language Processing Techniques","count":1,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","count":1,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","value":3.65e-05,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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":1.17e-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/T11435","display_name":"Polynomial and algebraic computation","value":9.7e-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":6.6e-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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","value":3.2e-06,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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":"164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","score":0.7997999787330627},{"id":"41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","score":0.7408000230789185},{"id":"80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","score":0.5638999938964844},{"id":"11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","score":0.4473497271537781},{"id":"184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","score":0.37940001487731934}],"counts_by_year":[{"year":2023,"works_count":1,"oa_works_count":0,"cited_by_count":0},{"year":2026,"works_count":3,"oa_works_count":3,"cited_by_count":4}],"display_name_alternatives":["Kunhang Lv","Lv, Kunhang"],"block_key":"k lv","works_api_url":"https://api.openalex.org/works?filter=author.id:A5111916355","updated_date":"2026-11-05T13:29:08","created_date":"2023-11-09T00:00:00"}