Ursula Martin | |
---|---|
Born | Ursula Hilda Mary Webb 3 August 1953 London, UK |
Citizenship | British |
Education | Abbey College, Malvern |
Alma mater |
|
Awards | Suffrage Science award (2018) |
Scientific career | |
Fields | Mathematics Computer Science |
Institutions | |
Thesis | Automorphisms of Finitely-Generated Nilpotent Groups (1979) |
Doctoral advisor | Stewart E. Stonehewer [1] |
Website | people |
Ursula Hilda Mary Martin (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. [2] [3] [4] [5] [6]
From 2014–2018, Martin was a Professor of Computer Science in the Department of Computer Science at the University of Oxford, and holds an EPSRC Established Career Fellowship. Prior to this she held a chair of Computer Science in the School of Electronic Engineering and Computer Science at Queen Mary, University of London, where she was Vice-Principal of Science and Engineering, 2005–2009. [7]
Martin was born in London on 3 August 1953 to Anne Louise (née Priestman) and Captain Geoffrey Richard Martin. [8] She was educated at Abbey College at Malvern Wells. In 1975 she graduated with an MA from Girton College, Cambridge, and in 1979 with a PhD from the University of Warwick, both in mathematics. [9] [8] [1]
Martin began in mathematics working in group theory, later moving into string rewriting systems. [10] She has held academic posts at University of Illinois at Urbana-Champaign, the University of Manchester and Royal Holloway, University of London. She has made sabbatical visits to Massachusetts Institute of Technology and SRI International (Menlo Park). In 2004 she was a visiting fellow at the Oxford Internet Institute. [11]
From 1992 to 2002, Martin was Professor of Computer Science at the University of St Andrews in Scotland. She was the second female professor at the University, following Margaret Fairlie (Professor of Obstetrics and Gynaecology, 1940), since its foundation in 1411. [12] [13]
From 2003 to 2005, Martin was seconded to the University of Cambridge Computer Laboratory part-time and served as the director of the Women@CL project [14] 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.
Martin has served as an 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).
Her publications include:
Martin was appointed Commander of the Order of the British Empire (CBE) in the 2012 New Year Honours for services to computer science. [15] In 2017 she was elected a Fellow of the Royal Society of Edinburgh (FRSE) [16] and the Royal Academy of Engineering (FREng). [17]
Ross John Anderson was a British researcher, author, and industry consultant in security engineering. He was Professor of Security Engineering at the Department of Computer Science and Technology, University of Cambridge where he was part of the University's security group.
Sir Maurice Vincent Wilkes was an English computer scientist who designed and helped build the Electronic Delay Storage Automatic Calculator (EDSAC), one of the earliest stored program computers, and who invented microprogramming, a method for using stored-program logic to operate the control unit of a central processing unit's circuits. At the time of his death, Wilkes was an Emeritus Professor at the University of Cambridge.
Stephen Byram Furber is a British computer scientist, mathematician and hardware engineer, and Emeritus ICL Professor of Computer Engineering in the Department of Computer Science at the University of Manchester, UK. After completing his education at the University of Cambridge, he spent the 1980s at Acorn Computers, where he was a principal designer of the BBC Micro and the ARM 32-bit RISC microprocessor. As of 2023, over 250 billion ARM chips have been manufactured, powering much of the world's mobile computing and embedded systems, everything from sensors to smartphones to servers.
The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former department of artificial intelligence, the Centre for Cognitive Science and the department of computer science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre.
Sir Andrew Hopper is a British-Polish computer technologist and entrepreneur. He is Chairman of lowRISC CIC, a Commissioner of the Royal Commission for the Exhibition of 1851, former Treasurer and Vice-President of the Royal Society, Professor Emeritus of Computer Technology at the University of Cambridge, an Honorary Fellow of Trinity Hall, Cambridge and Corpus Christi College, Cambridge.
Sir David James Wallace, CBE, FRS, FRSE, FREng is a British physicist and academic. He was the Vice-Chancellor of Loughborough University from 1994 to 2005, and the Master of Churchill College, Cambridge from 2006 to 2014.
Dame Julia Stretton Higgins is a British polymer scientist. Since 1976, she has been based at the Department of Chemical Engineering at Imperial College London, where she is emeritus professor and senior research investigator.
The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. By 2014 the staff count was 52 members of academic staff and over 80 research staff. The 2019, 2020 and 2021 Times World University Subject Rankings places Oxford University 1st in the world for Computer Science. Oxford University is also the top university for computer science in the UK and Europe according to Business Insider. The 2020 QS University Subject Rankings places The University of Oxford 5th in the world for Computer Science.
Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.
Christopher Michael Bishop is a British computer scientist. He is a Microsoft Technical Fellow and Director of Microsoft Research AI4Science. He is also Honorary Professor of Computer Science at the University of Edinburgh, and a Fellow of Darwin College, Cambridge. Chris was a founding member of the UK AI Council, and in 2019 he was appointed to the Prime Minister’s Council for Science and Technology.
Amanda Elizabeth Chessell is a computer scientist and a Distinguished Engineer at IBM. She has been awarded the title of IBM Master Inventor. She is also a Member of the IBM Academy of Technology.
Dame Wendy Hall is a British computer scientist. She is Regius Professor of Computer Science at the University of Southampton.
Dame Ann Patricia Dowling is a British mechanical engineer who researches combustion, acoustics and vibration, focusing on efficient, low-emission combustion and reduced road vehicle and aircraft noise. Dowling is a Deputy Vice-Chancellor and Professor of Mechanical Engineering, and from 2009 to 2014 she was Head of the Department of Engineering at the University of Cambridge, where she was the first female professor in 1993. She was President of the Royal Academy of Engineering from 2014 to 2019, the Academy's first female president.
Dame Lynn Faith Gladden is the Shell Professor of Chemical Engineering at the University of Cambridge. She served as Pro-vice-chancellor for research from 2010 to 2016.
Andrew Charles Harter is a British computer scientist, best known as the founder of RealVNC, where he was CEO until March 2018.
Dame Muffy Calder is a Canadian-born British computer scientist, Vice-Principal and Head of College of Science and Engineering, and Professor of Formal Methods at the University of Glasgow. From 2012 to 2015 she was Chief Scientific Advisor to the Scottish Government.
Caroline Mary Series is an English mathematician known for her work in hyperbolic geometry, Kleinian groups and dynamical systems.
Julia Alison Noble is a British engineer. She has been Technikos Professor of Biomedical Engineering at the University of Oxford and a fellow of St Hilda's College since 2011, and Associate Head of the Mathematical, Physical and Life Sciences Division at the university. As of 2017, she is the chief technology officer of Intelligent Ultrasound Limited, an Oxford spin-off in medical imaging that she cofounded. She was director of the Oxford Institute of Biomedical Engineering (IBME) from 2012 to 2016. In 2023 she became the Foreign Secretary of The Royal Society.
The Suffrage Science award is a prize for women in science, engineering and computing founded in 2011, on the 100th anniversary of International Women's Day by the MRC London Institute of Medical Sciences (LMS). There are three categories of award: