About: Anca Muscholl

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Anca Muscholl Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAnca_Muscholl&invfp=IFP_OFF&sas=SAME_AS_OFF

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.

Attributes	Values
rdf:type	Thing
rdfs:label	Anca Muscholl (en) Anca Muscholl (fr) Anca Muscholl (pt)
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)
dcterms:subject	Living people German women computer scientists German women mathematicians Paris Diderot University faculty German computer scientists 1967 births Mathematical logicians Technical University of Munich alumni Theoretical computer scientists 20th-century German mathematicians People from Bucharest Romanian emigrants to Germany Women logicians University of Bordeaux faculty University of Stuttgart alumni 21st-century German mathematicians Romanian refugees
Wikipage page ID	67248898 (xsd:integer)
Wikipage revision ID	1116802737 (xsd:integer)
Link from a Wikipage to another Wikipage	University of Bordeaux University of Stuttgart Institut Universitaire de France Living people German women computer scientists German women mathematicians Paris Diderot University faculty Mathematical logic German computer scientists Model checking Theoretical computer science 1967 births Mathematical logicians Bucharest Technical University of Munich alumni Theoretical computer scientists Habilitation Two-variable logic Formal verification Paris Diderot University Technical University of Munich 20th-century German mathematicians People from Bucharest Romanian emigrants to Germany Women logicians University of Bordeaux faculty University of Stuttgart alumni 21st-century German mathematicians Romanian refugees CNRS Silver Medal
Link from a Wikipage to an external page	https://www.labri.fr/perso/anca/
sameAs	Anca Muscholl Anca Muscholl Anca Muscholl Anca Muscholl Anca Muscholl Anca Muscholl Anca Muscholl Anca Muscholl
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
cs1-dates	ly (en)
date	March 2021 (en)
has 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)
prov:wasDerivedFrom	wikipedia-en:Anca_Muscholl?oldid=1116802737&ns=0
page length (characters) of wiki page	3326 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Anca_Muscholl
is Link from a Wikipage to another Wikipage of	CNRS Silver Medal List of women in mathematics
is foaf:primaryTopic of	wikipedia-en:Anca_Muscholl

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 51 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software