http://dbpedia.org/ontology/abstract
|
Anca Muscholl (born 1967) is a Romanian-Ge … 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.r of the Institut Universitaire de France.
, Anca Muscholl (Bucareste, 1967) é uma mate … 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 .sidade de Bordeaux e ex-membro júnior do .
, Anca Muscholl, née en Roumanie, est une 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. elle reçoit la médaille d'argent du CNRS.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.labri.fr/perso/anca/ +
|
http://dbpedia.org/ontology/wikiPageID
|
67248898
|
http://dbpedia.org/ontology/wikiPageLength
|
3326
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1116802737
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Category:Romanian_refugees +
, http://dbpedia.org/resource/Formal_verification +
, http://dbpedia.org/resource/Category:University_of_Stuttgart_alumni +
, http://dbpedia.org/resource/Category:Paris_Diderot_University_faculty +
, http://dbpedia.org/resource/Category:Technical_University_of_Munich_alumni +
, http://dbpedia.org/resource/Category:People_from_Bucharest +
, http://dbpedia.org/resource/Category:20th-century_German_mathematicians +
, http://dbpedia.org/resource/CNRS_Silver_Medal +
, http://dbpedia.org/resource/Category:21st-century_German_mathematicians +
, http://dbpedia.org/resource/Bucharest +
, http://dbpedia.org/resource/Habilitation +
, http://dbpedia.org/resource/Category:Romanian_emigrants_to_Germany +
, http://dbpedia.org/resource/Paris_Diderot_University +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Category:Women_logicians +
, http://dbpedia.org/resource/Category:University_of_Bordeaux_faculty +
, http://dbpedia.org/resource/Category:1967_births +
, http://dbpedia.org/resource/Technical_University_of_Munich +
, http://dbpedia.org/resource/Two-variable_logic +
, http://dbpedia.org/resource/Institut_Universitaire_de_France +
, http://dbpedia.org/resource/University_of_Stuttgart +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:German_women_computer_scientists +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/Category:German_women_mathematicians +
, http://dbpedia.org/resource/Theoretical_computer_science +
, http://dbpedia.org/resource/University_of_Bordeaux +
, http://dbpedia.org/resource/Category:Mathematical_logicians +
|
http://dbpedia.org/property/cs1Dates
|
ly
|
http://dbpedia.org/property/date
|
March 2021
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Google_Scholar_id +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:R +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Use_list-defined_references +
, http://dbpedia.org/resource/Template:Ill +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Technical_University_of_Munich_alumni +
, http://dbpedia.org/resource/Category:Paris_Diderot_University_faculty +
, http://dbpedia.org/resource/Category:German_women_computer_scientists +
, http://dbpedia.org/resource/Category:Mathematical_logicians +
, http://dbpedia.org/resource/Category:21st-century_German_mathematicians +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Women_logicians +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/Category:20th-century_German_mathematicians +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Category:German_women_mathematicians +
, http://dbpedia.org/resource/Category:Romanian_refugees +
, http://dbpedia.org/resource/Category:People_from_Bucharest +
, http://dbpedia.org/resource/Category:1967_births +
, http://dbpedia.org/resource/Category:University_of_Bordeaux_faculty +
, http://dbpedia.org/resource/Category:Romanian_emigrants_to_Germany +
, http://dbpedia.org/resource/Category:University_of_Stuttgart_alumni +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Anca_Muscholl?oldid=1116802737&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Anca_Muscholl +
|
owl:sameAs |
http://fr.dbpedia.org/resource/Anca_Muscholl +
, http://viaf.org/viaf/18393108 +
, http://pt.dbpedia.org/resource/Anca_Muscholl +
, https://orcid.org/0000-0002-8214-204X +
, http://d-nb.info/gnd/132718596 +
, https://global.dbpedia.org/id/9hxfv +
, http://dbpedia.org/resource/Anca_Muscholl +
, http://www.wikidata.org/entity/Q90410566 +
, https://dblp.org/pid/m/AMuscholl +
|
rdfs:comment |
Anca Muscholl (Bucareste, 1967) é uma mate … 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 .sidade de Bordeaux e ex-membro júnior do .
, Anca Muscholl (born 1967) is a Romanian-Ge … 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.r of the Institut Universitaire de France.
, Anca Muscholl, née en Roumanie, est une 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. elle reçoit la médaille d'argent du CNRS.
|
rdfs:label |
Anca Muscholl
|