Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

Dr. Steve King

(Former)

View all (33) »

Areas of expertise

  • Formal methods: the application of maths to the development of software
  • High-integrity software
  • Safety-critical systems

View all (4) »

Latest activities and conferences