Emina Torlak

http://dbpedia.org/resource/Emina_Torlak an entity of type: Thing

Emina Torlak is an American computer scientist and software engineer whose research concerns software verification, program synthesis, and the integration of these techniques into domain-specific languages. She is an associate professor of computer science at the University of Washington, and a senior principal scientist for Amazon Web Services. rdf:langString
rdf:langString Emina Torlak
xsd:integer 71007443
xsd:integer 1093448384
rdf:langString ly
rdf:langString May 2022
rdf:langString Emina Torlak is an American computer scientist and software engineer whose research concerns software verification, program synthesis, and the integration of these techniques into domain-specific languages. She is an associate professor of computer science at the University of Washington, and a senior principal scientist for Amazon Web Services.
xsd:nonNegativeInteger 3743
owl:Thing
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Massachusetts_Institute_of_Technology_alumni>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:American_computer_scientists>
<http://dbpedia.org/resource/Category:American_women_computer_scientists>
<http://dbpedia.org/resource/Category:University_of_Washington_faculty>
<http://dbpedia.org/resource/Program_synthesis>
<http://dbpedia.org/resource/Dahl–Nygaard_Prize>
<http://dbpedia.org/resource/University_of_California,_Berkeley>
<http://dbpedia.org/resource/University_of_Washington>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Massachusetts_Institute_of_Technology_alumni>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Massachusetts_Institute_of_Technology>
<http://dbpedia.org/resource/Computer_scientist>
<http://dbpedia.org/resource/Software_engineering>
<http://dbpedia.org/resource/Category:American_computer_scientists>
<http://dbpedia.org/resource/Category:American_women_computer_scientists>
<http://dbpedia.org/resource/Domain-specific_language>
<http://dbpedia.org/resource/Amazon_Web_Services>
<http://dbpedia.org/resource/Daniel_Jackson_(computer_scientist)>
<http://dbpedia.org/resource/ACM_SIGPLAN>
<http://dbpedia.org/resource/Category:University_of_Washington_faculty>
<http://dbpedia.org/resource/Software_verification>
<http://dbpedia.org/resource/IBM_Research>
<http://www.pl-enthusiast.net/2014/06/26/spotlight-emina-torlak/%7Ctitle=Spotlight:>
<https://homes.cs.washington.edu/~emina/>
<https://dblp.org/pid/55/1457>
<http://www.wikidata.org/entity/Q96099658>
<https://global.dbpedia.org/id/F1HEA>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:Citation>
<http://dbpedia.org/resource/Template:R>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Template:Use_list-defined_references>
<http://dbpedia.org/resource/Template:Use_mdy_dates>
<http://dbpedia.org/resource/Template:Google_Scholar_id>
<http://en.wikipedia.org/wiki/Emina_Torlak?oldid=1093448384&ns=0>
<http://en.wikipedia.org/wiki/Emina_Torlak>

data from the linked data cloud