{"id":"https://openalex.org/A5120724025","orcid":null,"observed_orcids":[],"display_name":"Austen Jeremy Sugiarto","raw_author_names":["Austen Jeremy Sugiarto","Sugiarto, Austen Jeremy"],"full_name":"Austen Jeremy Sugiarto","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/A5120724025","orcid":null,"observed_orcids":[]},"affiliations":[],"last_known_institutions":null,"topics":[{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","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/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/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/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"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","value":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":"108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","score":0.7275999784469604},{"id":"102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","score":0.5188000202178955},{"id":"111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","score":0.48570001125335693},{"id":"116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","score":0.3953000009059906},{"id":"13766981","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Automated proof checking","score":0.36719998717308044}],"counts_by_year":[{"year":2025,"works_count":1,"oa_works_count":1,"cited_by_count":0},{"year":2026,"works_count":0,"oa_works_count":0,"cited_by_count":1}],"display_name_alternatives":["Austen Jeremy Sugiarto","Sugiarto, Austen Jeremy"],"block_key":"a sugiarto","works_api_url":"https://api.openalex.org/works?filter=author.id:A5120724025","updated_date":"2026-11-04T11:47:51","created_date":"2025-10-10T00:00:00"}