About: Grigore Roșu

Property	Value
dbo:abstract	Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, the K framework,matching logic,and automated coinduction. (en)
dbo:academicDiscipline	dbr:Computer_Science
dbo:almaMater	dbr:University_of_Bucharest dbr:University_of_California,_San_Diego
dbo:birthDate	1971-12-12 (xsd:date)
dbo:doctoralAdvisor	dbr:Joseph_Goguen
dbo:institution	dbr:Ames_Research_Center dbr:University_of_Bucharest dbr:University_of_Illinois_at_Urbana-Champaign dbr:Alexandru_Ioan_Cuza_University dbr:Microsoft_Research dbr:Runtime_verification dbr:University_of_California_at_San_Diego
dbo:knownFor	dbr:Matching_logic dbr:Runtime_verification
dbo:nationality	dbr:Romanian_American
dbo:thumbnail	wiki-commons:Special:FilePath/A_picture_of_Grigore_Rosu_taken_in_2020.jpg?width=300
dbo:wikiPageExternalLink	https://fsl.cs.illinois.edu/~grosu https://linkedin.com/in/grigorerosu https://roger.ucsd.edu/record=b4170032~S9 https://scholar.google.com/citations%3Fuser=yxpqbdQAAAAJ https://dblp.uni-trier.de/pers/hd/r/Rosu:Grigore.html
dbo:wikiPageID	62325960 (xsd:integer)
dbo:wikiPageLength	11685 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1101805649 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Ames_Research_Center dbr:Python_(programming_language) dbr:Algebraic_specification dbr:Joseph_Goguen dbr:University_of_Bucharest dbr:University_of_California,_San_Diego dbr:University_of_Illinois_at_Urbana-Champaign dbr:Dynamic_logic_(modal_logic) dbr:Information_Trust_Institute dbr:Initial_algebra dbr:International_Conference_on_Automated_Software_Engineering dbr:Interpreter_(computing) dbr:Programming_language_specification dbc:1971_births dbc:Living_people dbr:Compiler dbr:Computer_Science dbr:Coq dbr:Mathematical_induction dbr:Mathematics dbr:Rewriting dbr:Separation_logic dbr:Coinduction dbr:Romanian_American dbr:M.S. dbr:Computation dbr:Computer_science dbr:Professor dbr:Symbolic_execution dbr:Matching_logic dbr:Automated_theorem_proving dbr:B.A. dbc:American_computer_scientists dbc:University_of_Bucharest_alumni dbc:University_of_Illinois_Urbana-Champaign_faculty dbr:C_(programming_language) dbr:Type_system dbr:Least_fixed_point dbr:Alexandru_Ioan_Cuza_University dbr:Dafny dbr:Ethereum dbr:First-order_logic dbr:Formal_verification dbr:Formal_methods dbr:Formal_system dbr:Researcher dbr:Isabelle_(proof_assistant) dbr:JavaScript dbr:Java_(programming_language) dbr:Temporal_logic dbc:Romanian_emigrants_to_the_United_States dbc:Formal_methods_people dbr:Lambda_calculus dbr:Hoare_logic dbr:Thesis dbr:Assistant_professor dbr:Associate_professor dbr:Software_testing dbr:Ph.D. dbr:Microsoft_Research dbr:National_Science_Foundation_CAREER_Awards dbr:Modal_μ-calculus dbr:Virtual_machine dbr:Semantics_(computer_science) dbr:Runtime_verification dbr:Programming_language dbr:Runtime_predictive_analysis dbr:Full_professor dbr:University_of_California_at_San_Diego
dbp:almaMater	dbr:University_of_Bucharest University of California, San Diego (en)
dbp:birthDate	1971-12-12 (xsd:date)
dbp:caption	Roșu in 2020 (en)
dbp:doctoralAdvisor	dbr:Joseph_Goguen
dbp:fields	dbr:Computer_Science
dbp:knownFor	dbr:Runtime_verification K language framework (en) circular coinduction (en) matching logic (en)
dbp:name	Grigore Roșu (en)
dbp:nationality	dbr:Romanian_American
dbp:thesisTitle	https://roger.ucsd.edu/record=b4170032~S9
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Short_description dbt:Url dbt:Birth_date_and_age dbt:Infobox_scientist
dbp:workplaces	dbr:University_of_Illinois_at_Urbana-Champaign Alexandru Ioan Cuza University (en) Microsoft Research (en) University of Bucharest (en) NASA Ames Research Center (en) Runtime Verification, Inc. (en) University of California at San Diego (en)
dcterms:subject	dbc:1971_births dbc:Living_people dbc:American_computer_scientists dbc:University_of_Bucharest_alumni dbc:University_of_Illinois_Urbana-Champaign_faculty dbc:Romanian_emigrants_to_the_United_States dbc:Formal_methods_people
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person wikidata:Q901
rdfs:comment	Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, the K framework,matching logic,and automated coinduction. (en)
rdfs:label	Grigore Roșu (en)
owl:sameAs	https://dblp.org/pid/r/GrigoreRosu http://viaf.org/viaf/68462804 https://orcid.org/0000-0002-3102-0421 wikidata:Grigore Roșu http://data.bibliotheken.nl/id/thes/p314056149 https://global.dbpedia.org/id/BLTnE
prov:wasDerivedFrom	wikipedia-en:Grigore_Roșu?oldid=1101805649&ns=0
foaf:depiction	wiki-commons:Special:FilePath/A_picture_of_Grigore_Rosu_taken_in_2020.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Grigore_Roșu
foaf:name	Grigore Roșu (en)
is dbo:wikiPageRedirects of	dbr:Grigore_Rosu
is dbo:wikiPageWikiLink of	dbr:Matching_logic dbr:Grigore_Rosu dbr:Romanian_Americans
is dbp:caption of	dbr:Romanian_Americans
is foaf:primaryTopic of	wikipedia-en:Grigore_Roșu