
Prf Jon Hall
Professor Of Problem Science And Computing
School of Computing & Communications
Biography
The value of a science of problems
Problem solving is the engine of civilisation. From language to law, cities to satellites, every major human achievement has emerged from the impulse to understand problems and respond creatively to them. Our tools, institutions, and technologies are all products of this continuous effort. Problem solving is not just a skill—it is the essence of what it means to be human.
Value is created by understanding problems and developing solutions. No product or service, no innovation or enterprise, exists without a problem to address. Economic value emerges when a problem is recognised, framed, and resolved—whether that problem is practical, emotional, social, or technical. Understanding precedes solution; and through solution, value is born.
But not all problem solving is benign. Some problems are framed to benefit the few at the expense of the many. Some solutions are designed to exploit, exclude, or obscure. From disinformation networks to addictive technologies, from planned obsolescence to systems of oppression—perverse problem solving creates value for some by causing harm to others. And it does so with ever-increasing technical sophistication.
This is why we need a science of problems. We have disciplines devoted to solving problems—engineering, medicine, economics—but none devoted to understanding the nature of problems themselves. The new discipline of problem science gives humanity the tools to recognise when problems are being misframed, when solutions are misleading, and when interventions might cause more harm than good. It would help us design better systems, make wiser decisions, and navigate complexity with greater care.
Problem science is not a luxury. It is a necessity. In an age of accelerating change and compounding crises, understanding problems deeply and clearly may be our most urgent collective challenge.
My mission is to elevate problem solving to its rightful place as the defining activity of human progress—by founding and advancing the discipline of Problem Science.
Where others focus on solving problems, I focus on understanding them—how they emerge, how they are framed, and how they shape the world around us. I believe that humanity’s capacity for progress, justice, and sustainability depends not just on better solutions, but on better problem framing, shared understanding, and ethical discernment.
I will:
• Establish Problem Science as a discipline, alongside physics, chemistry, economics, and organisational science—grounded in rigorous thinking and relevant across domains.
• Expose perverse problem solving, where technical ingenuity serves harmful or exploitative ends, and equip others to do the same.
• Equip decision-makers, researchers, and practitioners with the tools to see problems more clearly, frame them more honestly, and solve them more responsibly.
• Develop a shared language and methodology for navigating complex problems—helping us to ask better questions, not just seek faster answers.
• Champion the idea that value without understanding is dangerous, and that understanding without action is not enough.
This mission is not academic alone—it is ethical, civic, and existential. We live in a time where the world is being reshaped by solutions to badly understood problems. If we are to meet the challenges of this century, we must become not just better problem solvers, but wiser ones.
Publications
Book
The Prescott Technic System (2021)
The Nature of Engineering (2021)
Relating Software Requirements and Architectures (2011)
Fifth International Conference on Software Engineering Advances (ICSEA 2010): Proceedings (2010)
Proceedings of ICSE 2nd International Workshop on Applications and Advances of Problem Frames (2006)
Proceedings of ICSE 1st International Workshop on Applications and Advances of Problem Frames (2004)
Book Chapter
Enterprise Architecture: A Snapshot from Practice (2017)
Big data, big opportunities (2014)
Introduction to relating software requirements and architectures (2011)
The global knot: how problems tangle in the world's economy (2011)
Requirements analysis in context with POE design (2009)
Problem frames for socio-technical systems (2009)
Problem frames for sociotechnical systems (2008)
Towards mining for influence in a multi agent environment (2008)
Safety process improvement with POSE and Alloy (2007)
Towards Normal Design for Safety-Critical Systems (2007)
ISO 27001 - Information Security Management Systems (2006)
Developer requirements in the PF approach (2006)
Reactive food gathering (2006)
Problem-based analysis of organisational change: a real-world example (2006)
Introducing regulatory compliance (2006)
Problem frames for socio-technical systems (2005)
Extending low-cost remote evaluation with synchronous communication (2002)
Digital Artefact
A change singularity: increasing knowledge volatility (2022)
Insight: Leadership — Random Acts of Authenticity (2021)
The computing curriculum: what every child should know (2014)
Journal Article
Insight: Leadership — The Wrath of the CIO (2023)
Expert systems and risk analytics in service engineering (2022)
Using complexity and volatility characteristics to guide hybrid project management (2021)
Insight: Leadership — Knowledge Debt (2021)
The impact engineer—Weaving the Golden Braid (2020)
The impact engineer—Weaving the Golden Braid (2020)
POE-Δ: Towards an engineering framework for solving change problems (2019)
Insights from a text mining survey on Expert Systems research from 2000 to 2016 (2018)
A design theory for software engineering (2017)
Safety Engineering with COTS components (2017)
On the systematic transformation of requirements to specifications (2014)
Enterprise Architecture: a snapshot from practice (2013)
Editorial: Is tangled the new wicked? (2013)
Beauty in software engineering (2013)
Enterprising research skills: academia's changing role (2013)
The cult of the (so-called) Expert System (2012)
Computing education that doesn't compute (2012)
Software engineering as the design theoretic transformation of software problems (2012)
Editorial: building the knowledge society begins with breakfast (2011)
Design concerns in the engineering of virtual worlds for learning (2011)
Investigating agent influence and nested other-agent behaviour (2010)
Editorial: Understanding large blue tangles (2010)
Editorial: Thinking inside the box (2010)
Editorial: Welcome to Volume 27, Issue 1 (2010)
Editorial: The polychronic economy (2009)
Assurance-driven design in Problem Oriented Engineering (2009)
Editorial: 34957+70764=105621 (2009)
Editorial: A singular intelligence (2009)
Editorial: 1983 and all that (2009)
Problem Oriented Software Engineering: solving the package router control problem (2008)
Special issue on applications and advances in problem frames (2008)
A conceptual model for the analysis of mishaps in human-operated safety-critical systems (2008)
Problem Reduction: a systematic technique for deriving Specifications from Requirements (2006)
Deriving specifications from requirements through problem reduction (2006)
A roadmap of problem frames research (2005)
Editorial: Relating software requirements and architectures (2005)
Other
The UK appoints its first visionary AI Vice Chancellor (2023)
Risk Analytics and Service Engineering/Big Data in Transportation (2022)
Editorial: Neuronomics: connectionist economics (2011)
Editorial: genealogical knowledge engineering (2011)
Editorial: special issue: business decision support systems (2011)
Special Issue of Information and Software Technology on Problem Frames (2005)
Presentation / Conference
Towards filling the data skills gap in the African banking sector (2024)
A phenomenal basis for hybrid modelling (2017)
Problem drift: a risk model for complex socio-technical projects (2017)
Parametrising a theory of software problem solving (2016)
Teaching software systems thinking at The Open University (2015)
Towards a design theoretic characterisation of software development process models (2015)
Masters-level software engineering education and the enriched student context (2015)
Towards process design for efficient organisational problem solving (2015)
Towards executable business processes with the problem oriented engineering process algebra (2011)
On the construction of specifications from requirements (2011)
Modeling domain knowledge in support of requirements analysis in software engineering (2010)
Design rationale capture in the globalised enterprise: an industrial study (2010)
Lessons learned in developing a Second Life educational environment (2010)
Agent influence and nested other-agent behaviour (2009)
A problem-oriented theory of pattern-oriented analysis and design (2009)
Towards a problem oriented engineering theory of pattern-oriented analysis and design (2009)
Designing an online part-time Master of Philosophy with Problem Oriented Engineering (2009)
Assurance-driven design (2008)
Requirements analysis in contex with POE Design (2008)
The discipline of natural design (2008)
3rd international workshop on advances and applications of problem frames (2008)
Safety process improvement with POSE and Alloy (2008)
Arguing safety with Problem oriented Software Engineering (2007)
Problem oriented software engineering: A design-theoretic framework for software engineering (2007)
Safety process improvement: Early analysis and justification (2007)
A problem-oriented approach to normal design for safety-critical systems (2007)
From requirements to specification: a formal perspective (2006)
Capturing change in socio-technical system with problem frames (2005)
Developing critical systems with PLD components (2005)
Architecture-driven problem decomposition (2004)
Problem frames for socio-technical systems: predictability and change (2004)
Reasoning about decomposing and recomposing problem frame developments: a case study (2004)
High-integrity interfacing to programmable logic with Ada (2004)
A Reference model for Requirements Engineering (2003)
A Requirements-based Framework for the Analysis of Socio-technical System Behaviour (2003)
Relating software requirements and architectures using problem frames (2002)
Educational JavaBeans: a requirements-driven architecture (2001)
Report
Systematic concept identification and evaluation for IT/business alignment (2017)
A design theory for software engineering (2016)
A General Theory of Engineering: Thinking Bigger than Software (2015)
eiπ + 1 = 0 for Computing (2012)
Supporting Computing professionals on part-time research degrees (2011)
Middle-out design: A proposed best-practice for GEOSS design (2010)
Problem Oriented Software Engineering (2010)
POELog: a Prolog-based engine for Problem Oriented Engineering (2008)
Capturing Knowledge through Problem Oriented Engineering (2008)
Assurance-driven development in Problem Oriented Engineering (2007)
SIL4 process improvement with POSE and Alloy (2007)
Arguing safety with Problem Oriented Software Engineering (2007)
Towards Normal Organisational Problem Solving (2007)
Problem-oriented software engineering (2006)
Relating Safety Requirements and System Design through Problem Oriented Software Engineering (2006)
Problem transformations in solving the Package Router Control problem (2006)
Problem Reduction: a systematic technique for deriving Specifications from Requirements (2006)
Using PADL to specify AFrames (2005)
A framework for software problem analysis (2005)
Capturing Change in Socio-technical System with Problem Frames (2005)
A Constructive Approach to Problem Frame Semantics (2004)
Developing Critical Systems with PLD Components (2004)
Using safety and liveness properties to drive learning in a multi-agent system (2003)
Problem Frames for Socio-technical Systems (2003)
FPGAs in Critical Hardware/Software Systems (2003)
Architecture-driven Problem Decomposition (2003)
Beliefs, desires and intentions in a hybrid coached agent architecture (2003)
A Requirements-based Framework for the Analysis of Socio-technical System Behaviour (2003)
Mandated Requirements for Hardware/Software Combination in Safety-Critical Systems (2003)
Towards a semantics of Problem Frames (2003)
A Reference Model for Requirements Engineering (2003)
Targetting PLDs for high-level High Integrity Systems Development (2002)
Relating Software Requirements and Architectures Using Problem Frames (2002)
Refining Specifications to Programmable Logic (2002)
Low Cost Remote Evaluation with Synchronous Groupware (2002)
Extending Low-Cost Remote Evaluation with Synchronous Communication (2002)
Decomposing the DSub Retrenchment (2001)
Proving Safety Properties of FPGAs (2001)
The Triangulation Calculus (2000)
On Applying Software Development Best Practice to FPGAs in Safety-Critical Systems (2000)
An Operational semantics for parallel call-by-need (1999)
Shape Grammars for Knitwear Cable Design (1998)
A Coloured Petri Net Seminatics of Software Architectures (1998)
An Operational semantics for parallel lazy evaluation (1998)