{"id":"https://openalex.org/A5153023613","orcid":null,"observed_orcids":[],"display_name":"Harold Williams","raw_author_names":["Harold Williams"],"full_name":"Harold Williams","works_count":1,"cited_by_count":11,"summary_stats":{"2yr_mean_citedness":11.0,"h_index":1,"i10_index":1},"ids":{"openalex":"https://openalex.org/A5153023613","orcid":null,"observed_orcids":[]},"affiliations":[{"institution":{"id":"https://openalex.org/I1174212","ror":"https://ror.org/03taz7m60","display_name":"University of Southern California","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]},"years":[2026]}],"last_known_institutions":[{"id":"https://openalex.org/I1174212","ror":"https://ror.org/03taz7m60","display_name":"University of Southern California","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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/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.49e-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/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":"111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","score":0.34950000047683716},{"id":"11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","score":0.3384999930858612},{"id":"102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","score":0.3303000032901764},{"id":"118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","score":0.3203999996185303},{"id":"105605280","wikidata":"https://www.wikidata.org/wiki/Q7249999","display_name":"Proof complexity","score":0.27320000529289246}],"counts_by_year":[{"year":2026,"works_count":1,"oa_works_count":1,"cited_by_count":11}],"display_name_alternatives":["Harold Williams"],"block_key":"h williams","works_api_url":"https://api.openalex.org/works?filter=author.id:A5153023613","updated_date":"2026-11-04T11:47:51","created_date":"2025-10-10T00:00:00"}