Perdita Stevens

Last updated

Perdita Emma Stevens (born 1966) [1] is a British mathematician, theoretical computer scientist, and software engineer who holds a personal chair in the mathematics of software engineering as part of the School of Informatics at the University of Edinburgh. Her research includes work on model-driven engineering, including model transformation, model checking, and the Unified Modeling Language. [2]

Contents

Education and career

Stevens read mathematics at the University of Cambridge, earning a bachelor's degree in 1987. She went to the University of Warwick for graduate study in abstract algebra, earning a master's degree in 1988 and completing a PhD in 1992. [3] Her doctoral dissertation, Integral Forms for Weyl Modules of , was supervised by Sandy Green. [3] [4]

After working in industry as a software engineer, Stevens joined the Department of Computer Science at the University of Edinburgh in 1984. She became a reader there in 2003 and in 2014 was given a personal chair as Professor of Mathematics of Software Engineering. [3]

Books

Stevens is the author of books including:

Related Research Articles

<span class="mw-page-title-main">Computer science</span> Study of the foundations and applications of computation

Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines to practical disciplines. Computer science is generally considered an area of academic research and distinct from computer programming.

<span class="mw-page-title-main">Department of Computer Science, University of Manchester</span>

The Department of Computer Science at the University of Manchester is the longest established department of Computer Science in the United Kingdom and one of the largest. It is located in the Kilburn Building on the Oxford Road and currently has over 800 students taking a wide range of undergraduate and postgraduate courses and 60 full-time academic staff.

<span class="mw-page-title-main">School of Informatics, University of Edinburgh</span>

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.

<span class="mw-page-title-main">École nationale supérieure d'informatique et de mathématiques appliquées de Grenoble</span>

The École nationale supérieure d'informatique et de mathématiques appliquées, or Ensimag, is a prestigious French Grande École located in Grenoble, France. Ensimag is part of the Institut polytechnique de Grenoble. The school is one of the top French engineering institutions and specializes in computer science, applied mathematics and telecommunications.

<span class="mw-page-title-main">Michael Fourman</span> Logician and computer scientist

Michael Paul Fourman FBCS FRSE is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001–2009.

<span class="mw-page-title-main">Alan Bundy</span> British artificial intelligence researcher (born 1947)

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.

<span class="mw-page-title-main">Donald Bren School of Information and Computer Sciences</span>

The Donald Bren School of Information and Computer Sciences, also known colloquially as UCI's School of ICS or simply the Bren School, is an academic unit of University of California, Irvine (UCI), and the only dedicated school of computer science in the University of California system. Consisting of nearly three thousand students, faculty, and staff, the school maintains three buildings in the South-East section of UCI's undergraduate campus, and maintains student body and research affiliations throughout UCI.

Johanna Doris Moore FRSE is a computational linguist and cognitive scientist. Her research publications include contributions to natural language generation, spoken dialogue systems, computational models of discourse, intelligent tutoring and training systems, human-computer interaction, user modeling, and knowledge representation.

<span class="mw-page-title-main">Andrew Blake (scientist)</span> British scientist

Andrew Blake FREng, FRS, is a British scientist, former laboratory director of Microsoft Research Cambridge and Microsoft Distinguished Scientist, former director of the Alan Turing Institute, Chair of the Samsung AI Centre in Cambridge, honorary professor at the University of Cambridge, Fellow of Clare Hall, Cambridge, and a leading researcher in computer vision.

<span class="mw-page-title-main">Jane Hillston</span>

Jane Elizabeth Hillston is British professor of Quantitative Modelling and Head of School in the School of Informatics, University of Edinburgh, Scotland.

<span class="mw-page-title-main">Rutherford Aris</span>

Rutherford "Gus" Aris was a chemical engineer, control theorist, applied mathematician, and a Regents Professor Emeritus of Chemical Engineering at the University of Minnesota (1958–2005).

Engineering Informatics is related to information engineering, and computational engineering. In general, informatics deals with information processing. Compared to technical informatics, engineering informatics focuses more on software. However, it does not rather focus on issues of large-scale systems. Typically, informatic engineers deal with computer-aided design, machine learning, computer vision, mobile robotics, real-time computing, digital image processing, pattern recognition, digital control, networking or multi-agent systems. Cognitive informatic background finds particular applications in the issues of artificial intelligence. Engineering informatics is also related to neuroinformatics.

Informatics is the study of computational systems. According to the ACM Europe Council and Informatics Europe, informatics is synonymous with computer science and computing as a profession, in which the central notion is transformation of information. In other countries, the term "informatics" is used with a different meaning in the context of library science, in which case it is synonymous with data storage and retrieval.

<span class="mw-page-title-main">Margaret Hamilton (software engineer)</span> United States software engineer (born 1936)

Margaret Heafield Hamilton is an American computer scientist, systems engineer, and business owner. She was director of the Software Engineering Division of the MIT Instrumentation Laboratory, which developed on-board flight software for NASA's Apollo program. She later founded two software companies—Higher Order Software in 1976 and Hamilton Technologies in 1986, both in Cambridge, Massachusetts.

Stephanie Forrest is an American computer scientist and director of the Biodesign Center for Biocomputing, Security and Society at the Biodesign Institute at Arizona State University. She was previously Distinguished Professor of Computer Science at the University of New Mexico in Albuquerque. She is best known for her work in adaptive systems, including genetic algorithms, computational immunology, biological modeling, automated software repair, and computer security.

Gillian Lovegrove is a retired computer scientist and academic. She was Dean of the School of Informatics at Northumbria University, president of the Conference of Professors and Heads of Computing and was Higher Education consultant to the British Computer Society and manager of its Education and Training Forum. She is known for her interest in gender imbalance in computer education and employment, and her public discussion of possible solutions to a shortage of information technology graduates in the UK.

<span class="mw-page-title-main">Jane Grimson</span> Computer engineer

Jane Grimson, is an Irish computer engineer. She is Fellow Emerita and Pro-Chancellor at Trinity College Dublin.

Elham Kashefi is a Professor of Computer Science and Personal Chair in quantum computing at the School of Informatics at the University of Edinburgh, and a Centre national de la recherche scientifique (CNRS) researcher at the Sorbonne University. Her work has included contributions to quantum cryptography, verification of quantum computing, and cloud quantum computing.

Aidong Zhang is a computer scientist whose research topics include machine learning and bioinformatics. She is William Wulf Faculty Fellow and Professor of Computer Science at the University of Virginia, where she also holds affiliations with the Department of Biomedical Engineering and School of Data Science.

<span class="mw-page-title-main">TUM School of Computation, Information and Technology</span>

The TUM School of Computation, Information and Technology (CIT) is a school of the Technical University of Munich, established in 2022 by the merger of three former departments. As of 2022, it is structured into the Department of Mathematics, the Department of Computer Engineering, the Department of Computer Science, and the Department of Electrical Engineering.

References

  1. Birth year from Library of Congress catalog entry, retrieved 2023-01-11
  2. "Perdita Stevens", Staff, University of Edinburgh School of Informatics, retrieved 2023-01-11
  3. 1 2 3 "Perdita Stevens", Profiles, University of Edinburgh, retrieved 2023-01-11
  4. Perdita Stevens at the Mathematics Genealogy Project