Anca Muscholl (original) (raw)
Anca Muscholl (born 1967) is a Romanian-German mathematical logician and theoretical computer scientist known for her work on formal verification, model checking, and two-variable logic. She is a researcher at the (LaBRI), a professor at the University of Bordeaux, and a former junior member of the Institut Universitaire de France.
| Property | Value |
|---|---|
| dbo:abstract | Anca Muscholl (born 1967) is a Romanian-German mathematical logician and theoretical computer scientist known for her work on formal verification, model checking, and two-variable logic. She is a researcher at the (LaBRI), a professor at the University of Bordeaux, and a former junior member of the Institut Universitaire de France. (en) Anca Muscholl, née en Roumanie, est une enseignante-chercheuse en informatique, spécialiste en informatique théorique et notamment en méthodes formelles. Elle fait sa recherche au Laboratoire bordelais de recherche en informatique (LaBRI) et enseigne à l'université de Bordeaux. En 2010, elle reçoit la médaille d'argent du CNRS. (fr) Anca Muscholl (Bucareste, 1967) é uma matemática e cientista da computação romeno-alemã, conhecida por seu trabalho em verificação formal, verificação de modelos e lógica de duas variáveis. É pesquisadora do (LaBRI), professora da Universidade de Bordeaux e ex-membro júnior do . (pt) |
| dbo:wikiPageExternalLink | https://www.labri.fr/perso/anca/ |
| dbo:wikiPageID | 67248898 (xsd:integer) |
| dbo:wikiPageLength | 3326 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1116802737 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:University_of_Bordeaux dbr:University_of_Stuttgart dbr:Institut_Universitaire_de_France dbc:Living_people dbc:German_women_computer_scientists dbc:German_women_mathematicians dbc:Paris_Diderot_University_faculty dbr:Mathematical_logic dbc:German_computer_scientists dbr:Model_checking dbr:Theoretical_computer_science dbc:1967_births dbc:Mathematical_logicians dbr:Bucharest dbc:Technical_University_of_Munich_alumni dbc:Theoretical_computer_scientists dbr:Habilitation dbr:Two-variable_logic dbr:Formal_verification dbr:Paris_Diderot_University dbr:Technical_University_of_Munich dbc:20th-century_German_mathematicians dbc:People_from_Bucharest dbc:Romanian_emigrants_to_Germany dbc:Women_logicians dbc:University_of_Bordeaux_faculty dbc:University_of_Stuttgart_alumni dbc:21st-century_German_mathematicians dbc:Romanian_refugees dbr:CNRS_Silver_Medal |
| dbp:cs1Dates | ly (en) |
| dbp:date | March 2021 (en) |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Ill dbt:R dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Use_list-defined_references dbt:Google_Scholar_id |
| dct:subject | dbc:Living_people dbc:German_women_computer_scientists dbc:German_women_mathematicians dbc:Paris_Diderot_University_faculty dbc:German_computer_scientists dbc:1967_births dbc:Mathematical_logicians dbc:Technical_University_of_Munich_alumni dbc:Theoretical_computer_scientists dbc:20th-century_German_mathematicians dbc:People_from_Bucharest dbc:Romanian_emigrants_to_Germany dbc:Women_logicians dbc:University_of_Bordeaux_faculty dbc:University_of_Stuttgart_alumni dbc:21st-century_German_mathematicians dbc:Romanian_refugees |
| rdf:type | owl:Thing |
| rdfs:comment | Anca Muscholl (born 1967) is a Romanian-German mathematical logician and theoretical computer scientist known for her work on formal verification, model checking, and two-variable logic. She is a researcher at the (LaBRI), a professor at the University of Bordeaux, and a former junior member of the Institut Universitaire de France. (en) Anca Muscholl, née en Roumanie, est une enseignante-chercheuse en informatique, spécialiste en informatique théorique et notamment en méthodes formelles. Elle fait sa recherche au Laboratoire bordelais de recherche en informatique (LaBRI) et enseigne à l'université de Bordeaux. En 2010, elle reçoit la médaille d'argent du CNRS. (fr) Anca Muscholl (Bucareste, 1967) é uma matemática e cientista da computação romeno-alemã, conhecida por seu trabalho em verificação formal, verificação de modelos e lógica de duas variáveis. É pesquisadora do (LaBRI), professora da Universidade de Bordeaux e ex-membro júnior do . (pt) |
| rdfs:label | Anca Muscholl (en) Anca Muscholl (fr) Anca Muscholl (pt) |
| owl:sameAs | http://d-nb.info/gnd/132718596 https://dblp.org/pid/m/AMuscholl http://viaf.org/viaf/18393108 https://orcid.org/0000-0002-8214-204X wikidata:Anca Muscholl dbpedia-fr:Anca Muscholl dbpedia-pt:Anca Muscholl https://global.dbpedia.org/id/9hxfv |
| prov:wasDerivedFrom | wikipedia-en:Anca_Muscholl?oldid=1116802737&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Anca_Muscholl |
| is dbo:wikiPageWikiLink of | dbr:CNRS_Silver_Medal dbr:List_of_women_in_mathematics |
| is foaf:primaryTopic of | wikipedia-en:Anca_Muscholl |