About: Ursula Martin     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatFormalMethodsPeople, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/c/8dErnJKPQK

Ursula Hilda Mary Martin CBE FRSE FREng (born 3 August 1953) is a British computer scientist, with research interests in theoretical computer science and formal methods. She is also known for her activities aimed at encouraging women in the fields of computing and mathematics. Since 2019, she has served as a professor at the School of Informatics, University of Edinburgh.

AttributesValues
rdf:type
rdfs:label
  • Ursula Martin (en)
  • أورسولا مارتن (ar)
  • Ursula Martin (eu)
rdfs:comment
  • أورسولا هيلدا ماري مارتن (بالإنجليزية: Ursula Martin)‏، الحاصلة على رتبة الإمبراطورية البريطانية وزمالة الأكاديمية الملكية للهندسة (من مواليد 3 أغسطس 1953) هي عالمة حاسوب بريطانية، لها اهتمامات بحثية في علم الحاسوب النظري والأساليب الرسمية. ومعروفة أيضًا بأنشطتها التي تهدف إلى تشجيع النساء في مجالات الحوسبة والرياضيات. (ar)
  • Ursula Hilda Mary Martin CBE FRSE FRE (Londres, 1953ko abuztuaren 3an jaioa) informatikoari britainiarra da, eta informatika teorikoan eta metodo formaletan ikerketa-interesak ditu. Informatikaren eta matematikaren arloetan emakumeak sustatzeko egiten dituen jarduerengatik ere ezaguna da. 2019tik, irakasle izan da Edinburgoko Unibertsitateko Informatika Eskolan. (eu)
  • Ursula Hilda Mary Martin CBE FRSE FREng (born 3 August 1953) is a British computer scientist, with research interests in theoretical computer science and formal methods. She is also known for her activities aimed at encouraging women in the fields of computing and mathematics. Since 2019, she has served as a professor at the School of Informatics, University of Edinburgh. (en)
differentFrom
foaf:homepage
name
  • Ursula Martin (en)
birth place
  • London, UK (en)
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git147 as of Sep 06 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software