Karen Petrie
British computer scientist, (1980 - )
Karen Petrie's AcademicInfluence.com Rankings
Download Badge
Computer Science
Karen Petrie's Degrees
- PhD Computer Science University of Dundee
- Bachelors Computer Science University of Dundee
Similar Degrees You Can Earn
Why Is Karen Petrie Influential?
(Suggest an Edit or Addition)Areas of Specialization: Constraints Programming, Artifical Intelligence
Karen Elizabeth Jefferson Petrie was born in the UK. She is currently Reader in the Department of Computing in the School of Science and Engineering at the University of Dundee in Scotland, as well as Associate Dean for Learning and Teaching of the same School.
Petrie has stated that she first learned to program computers on a Commodore 64 when she was eight years old. Petrie received her bachelor’s degree in computer science in 2001 from the University of St Andrews, and her PhD in artificial intelligence in 2004 from the University of Huddersfield. She wrote her dissertation on the topic of Constraint Programming.
Following her doctorate, Petrie held a variety of post-doc positions, including Intern at the National Aeronautics and Space Administration (NASA) in the US, Research Associate at the University of St. Andrews, and Research Fellow at the University of Oxford.
In 2009, Petrie joined the staff of the University of Dundee. She is best known for the “Petrie Multiplier,” which is a measure of the frequency of sexist behavior in a social network as a function of the percentage of females present in the network.
Petrie has authored or co-authored some 60 peer-reviewed journal articles and book chapters.
Featured in our ranking of the Most Influential Women in STEM
According to Wikipedia, Karen Petrie is a British computer scientist specialising in the area of constraints programming. She was named young IT practitioner of the year by the British Computer Society in 2004, for work she carried out whilst on placement at NASA. She is currently a professor in the School of Science and Engineering at the University of Dundee.
Karen Petrie's Published Works
Published Works
- Symmetry Definitions for Constraint Satisfaction Problems (2005) (149)
- Symmetry in Constraint Programming (2006) (123)
- Symmetry Breaking in Graceful Graphs (2003) (73)
- A case study of Facebook use: Outlining a multi-layer strategy for higher education (2015) (41)
- Learning When to Use Lazy Learning in Constraint Solving (2010) (40)
- Implementing logical connectives in constraint programming (2010) (38)
- Models and Symmetry Breaking for 'Peaceable Armies of Queens' (2004) (30)
- Dynamic Symmetry Breaking in Constraint Programming and Linear Programming Hybrids (2004) (16)
- GAPLex: Generalized Static Symmetry Breaking (2010) (15)
- Why are we still here?: experiences of successful women in computing (2009) (13)
- Case Studies and Challenges in Reproducibility in the Computational Sciences (2014) (8)
- Automatic Generation of Constraints for Partial Symmetry Breaking (2011) (7)
- Comparison of Symmetry Breaking Methods in Constraint Programming (2005) (6)
- An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science (2014) (5)
- Constraint Symmetry and Solution Symmetry (2006) (4)
- Constraint programming, search and symmetry (2005) (4)
- Combination: automated generation of puzzles with constraints (2011) (4)
- Same-Relation Constraints (2009) (4)
- Self-Learning Genetic Algorithm For Constrains Satisfaction Problems (2012) (3)
- Real-time processing of proteomics data: The internet of things and the connected laboratory (2016) (3)
- Constraint Programming to Solve Maximal Density Still Life (2010) (3)
- Provably Pointless Propagator Calls (2015) (2)
- An Analysis of User Engagement in Relation to Computing Workshop Activities (2015) (2)
- A Theoretical Framework for Constraint Propagator Triggering (2021) (2)
- Efficient Propagation of Disjunctive Constraints using Watched Literals (2008) (1)
- GAPLex : Combining Static and Dynamic Symmetry Breaking (2006) (1)
- Symmetry Group Generation for CSPs (2003) (1)
- A Sexual Genetic Algorithm Based System For Automatically Tunning Constraint Satisfaction Problems (2013) (0)
- Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems (2013) (0)
- Efficiently Solving Problems Where the Solutions Form a Group (2008) (0)
- Symmetry Breaking in Peaceably Coexisting Armies of Queens (2002) (0)
- Simplifying a Lifted Plan Graph Using Domain Splitting (2002) (0)
- Symmetry in constraint satisfaction problems (2007) (0)
- Using Computer based Systems to Address the Gender Imbalance in Computing (2008) (0)
- Comparison of Symmetry Breaking Methods (2003) (0)
This paper list is powered by the following services:
Other Resources About Karen Petrie
What Schools Are Affiliated With Karen Petrie?
Karen Petrie is affiliated with the following schools: