Ursula Martin
Encyclopedia
Ursula Martin is a British
computer scientist
. She is Vice-Principal of Science and Engineering at Queen Mary, University of London
and a Professor of Computer Science in the Department of Computer Science there.
Ursula Martin gained an MA from the University of Cambridge
and a PhD from the University of Warwick
, both in mathematics
. She has held academic posts at University of Illinois at Urbana-Champaign
(U.S.
), the University of Manchester
(UK), Royal Holloway, University of London
She has made sabbatical visits to MIT and SRI International
(Menlo Park
).
From 1992 to 2002, she was Professor of Computer Science at the University of St Andrews
in Scotland
. She was the first female professor at the University since its foundation in 1411.
From 2003 to 2005, Ursula Martin was seconded to the University of Cambridge Computer Laboratory
part-time as Director of the Women@CL project to lead local, national and international initiatives for women in computing
, supported by Microsoft Research
and Intel Cambridge Research. She was a Fellow of Newnham College, Cambridge
.
She is Advisory Editor for the Annals of Pure and Applied Logic journal (published by Elsevier
) and on the editorial boards for The Journal of Computation and Mathematics (London Mathematical Society
) and Formal Aspects of Computing
(Springer-Verlag).
Throughout Ursula Martin's career, she has been involved in many activities aimed at encouraging women in the fields of computing
and mathematics. Her research interests have been in the area of theoretical computer science
and formal methods
.
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
. She is Vice-Principal of Science and Engineering at Queen Mary, University of London
Queen Mary, University of London
Queen Mary, University of London is a public research university located in London, United Kingdom and a constituent college of the federal University of London...
and a Professor of Computer Science in the Department of Computer Science there.
Ursula Martin gained an MA from the University of Cambridge
University of Cambridge
The University of Cambridge is a public research university located in Cambridge, United Kingdom. It is the second-oldest university in both the United Kingdom and the English-speaking world , and the seventh-oldest globally...
and a PhD from the University of Warwick
University of Warwick
The University of Warwick is a public research university located in Coventry, United Kingdom...
, both in mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
. She has held academic posts at University of Illinois at Urbana-Champaign
University of Illinois at Urbana-Champaign
The University of Illinois at Urbana–Champaign is a large public research-intensive university in the state of Illinois, United States. It is the flagship campus of the University of Illinois system...
(U.S.
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...
), the University of Manchester
University of Manchester
The University of Manchester is a public research university located in Manchester, United Kingdom. It is a "red brick" university and a member of the Russell Group of research-intensive British universities and the N8 Group...
(UK), Royal Holloway, University of London
Royal Holloway, University of London
Royal Holloway, University of London is a constituent college of the University of London. The college has three faculties, 18 academic departments, and about 8,000 undergraduate and postgraduate students from over 130 different countries...
She has made sabbatical visits to MIT and SRI International
SRI International
SRI International , founded as Stanford Research Institute, is one of the world's largest contract research institutes. Based in Menlo Park, California, the trustees of Stanford University established it in 1946 as a center of innovation to support economic development in the region. It was later...
(Menlo Park
Menlo Park, California
Menlo Park, California is a city at the eastern edge of San Mateo County, in the San Francisco Bay Area of California, in the United States. It is bordered by San Francisco Bay on the north and east; East Palo Alto, Palo Alto, and Stanford to the south; Atherton, North Fair Oaks, and Redwood City...
).
From 1992 to 2002, she was Professor of Computer Science at the University of St Andrews
University of St Andrews
The University of St Andrews, informally referred to as "St Andrews", is the oldest university in Scotland and the third oldest in the English-speaking world after Oxford and Cambridge. The university is situated in the town of St Andrews, Fife, on the east coast of Scotland. It was founded between...
in Scotland
Scotland
Scotland is a country that is part of the United Kingdom. Occupying the northern third of the island of Great Britain, it shares a border with England to the south and is bounded by the North Sea to the east, the Atlantic Ocean to the north and west, and the North Channel and Irish Sea to the...
. She was the first female professor at the University since its foundation in 1411.
From 2003 to 2005, Ursula Martin was seconded to the University of Cambridge Computer Laboratory
University of Cambridge Computer Laboratory
The Computer Laboratory is the computer science department of the University of Cambridge. As of 2007, it employs 35 academic staff, 25 support staff, 35 affiliated research staff, and about 155 research students...
part-time as Director of the Women@CL project to lead local, national and international initiatives for women in computing
Women in computing
Global concerns about current and future roles of women in computing occupations gained more importance with the emerging information age. These concerns motivated public policy debates addressing gender equality as computer applications exerted increasing influence in society...
, supported by Microsoft Research
Microsoft Research
Microsoft Research is the research division of Microsoft created in 1991 for developing various computer science ideas and integrating them into Microsoft products. It currently employs Turing Award winners C.A.R. Hoare, Butler Lampson, and Charles P...
and Intel Cambridge Research. She was a Fellow of Newnham College, Cambridge
Newnham College, Cambridge
Newnham College is a women-only constituent college of the University of Cambridge, England.The college was founded in 1871 by Henry Sidgwick, and was the second Cambridge college to admit women after Girton College...
.
She is Advisory Editor for the Annals of Pure and Applied Logic journal (published by Elsevier
Elsevier
Elsevier is a publishing company which publishes medical and scientific literature. It is a part of the Reed Elsevier group. Based in Amsterdam, the company has operations in the United Kingdom, USA and elsewhere....
) and on the editorial boards for The Journal of Computation and Mathematics (London Mathematical Society
London Mathematical Society
-See also:* American Mathematical Society* Edinburgh Mathematical Society* European Mathematical Society* List of Mathematical Societies* Council for the Mathematical Sciences* BCS-FACS Specialist Group-External links:* * *...
) and Formal Aspects of Computing
Formal Aspects of Computing
Formal Aspects of Computing is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British...
(Springer-Verlag).
Throughout Ursula Martin's career, she has been involved in many activities aimed at encouraging women in the fields of computing
Computing
Computing is usually defined as the activity of using and improving computer hardware and software. It is the computer-specific part of information technology...
and mathematics. Her research interests have been in the area of theoretical computer science
Theoretical computer science
Theoretical computer science is a division or subset of general computer science and mathematics which focuses on more abstract or mathematical aspects of computing....
and formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
.