{"id":"https://openalex.org/A5008733385","orcid":"https://orcid.org/0000-0003-3355-7828","observed_orcids":["https://orcid.org/0000-0003-3355-7828"],"display_name":"Hanna Lachnitt","raw_author_names":["Hanna Lachnitt","Hanna, Lachnitt","Lachnitt, Hanna","Lachnitt, Hanna Elif"],"full_name":"Lachnitt, Hanna Elif","works_count":32,"cited_by_count":644,"summary_stats":{"2yr_mean_citedness":4.214285714285714,"h_index":7,"i10_index":7},"ids":{"openalex":"https://openalex.org/A5008733385","orcid":"https://orcid.org/0000-0003-3355-7828","observed_orcids":["https://orcid.org/0000-0003-3355-7828"]},"affiliations":[{"institution":{"id":"https://openalex.org/I145847075","ror":"https://ror.org/04d836q62","display_name":"TU Wien","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]},"years":[2020]},{"institution":{"id":"https://openalex.org/I241749","ror":"https://ror.org/013meh722","display_name":"University of Cambridge","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},"years":[2025]},{"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,2025,2024,2023,2022,2021,2020]}],"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":31,"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":28,"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/T10743","display_name":"Software Testing and Debugging Techniques","count":11,"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","count":6,"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/T11435","display_name":"Polynomial and algebraic computation","count":5,"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":0.0001054,"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":0.0001038,"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.47e-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/T10743","display_name":"Software Testing and Debugging Techniques","value":4.79e-05,"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/T11435","display_name":"Polynomial and algebraic computation","value":4.51e-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"}}],"x_concepts":[{"id":"108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","score":0.9284948706626892},{"id":"41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","score":0.884986400604248},{"id":"199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","score":0.7778000235557556},{"id":"80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","score":0.5693016052246094},{"id":"33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","score":0.3815999925136566}],"counts_by_year":[{"year":2017,"works_count":1,"oa_works_count":0,"cited_by_count":0},{"year":2020,"works_count":4,"oa_works_count":2,"cited_by_count":3},{"year":2021,"works_count":3,"oa_works_count":3,"cited_by_count":11},{"year":2022,"works_count":6,"oa_works_count":6,"cited_by_count":34},{"year":2023,"works_count":4,"oa_works_count":4,"cited_by_count":123},{"year":2024,"works_count":4,"oa_works_count":4,"cited_by_count":152},{"year":2025,"works_count":3,"oa_works_count":3,"cited_by_count":182},{"year":2026,"works_count":7,"oa_works_count":7,"cited_by_count":139}],"display_name_alternatives":["Hanna Lachnitt","Hanna, Lachnitt","Lachnitt, Hanna","Lachnitt, Hanna Elif"],"block_key":"h lachnitt","works_api_url":"https://api.openalex.org/works?filter=author.id:A5008733385","updated_date":"2026-10-31T12:29:50","created_date":"2019-09-12T00:00:00"}