# Steve Schneider

> researcher

**Wikidata**: [Q27983493](https://www.wikidata.org/wiki/Q27983493)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Steve_Schneider_(computer_scientist))  
**Source**: https://4ort.xyz/entity/steve-schneider-q27983493

## Summary
Steve Schneider is a British computer scientist and researcher specialising in real-time systems and formal methods. He is a professor-level academic affiliated with the University of Surrey and Royal Holloway, University of London, known for his doctoral thesis "Correctness and communication in real-time systems," supervision of multiple doctoral students, and recognition as a Fellow of the British Computer Society.

## Biography
- Born: 2000, United Kingdom
- Nationality: United Kingdom
- Education: University of Oxford (doctoral research; doctoral thesis: "Correctness and communication in real-time systems")
- Known for: Research on correctness and communication in real-time systems; doctoral supervision and academic leadership
- Employer(s): University of Surrey (employed from 2004-09-01), Royal Holloway, University of London
- Field(s): Computer science (real-time systems, formal methods)

## Contributions
Steve Schneider authored the doctoral thesis "Correctness and communication in real-time systems," forming a documented research foundation in correctness and communication aspects of real-time computing. He has an established publication record indexed under DBLP (dblp author id: s/SASchneider) and Scopus (scopus author id: 9535657800), indicating peer-reviewed outputs in computer science. Schneider has supervised multiple doctoral students—Siraj Shaikh, James Alistair Heather, Roberto Delicata, Carl Adekunle, Helen Treharne, Zhe Xia, Neil Evans, and Wilson Ifill—contributing to the next generation of researchers. He has held academic positions at Royal Holloway, University of London, and at the University of Surrey (employment record beginning 2004-09-01). Schneider is a member of the UK Computing Research Committee, participating in national-level computing research coordination. His professional recognition includes election as a Fellow of the British Computer Society. Collectively, these outputs—doctoral thesis, indexed publications, student supervision, committee membership, and fellowship—document his concrete scholarly and community contributions to computer science.

## FAQs
### Q: Who is Steve Schneider?
A: Steve Schneider is a British computer scientist and researcher, author of the doctoral thesis "Correctness and communication in real-time systems," and an academic affiliated with the University of Surrey and Royal Holloway, University of London.

### Q: What research area is he known for?
A: He is known for work on correctness and communication in real-time systems and related areas of computer science and formal methods.

### Q: Where does he work?
A: His employers include Royal Holloway, University of London, and the University of Surrey; his University of Surrey employment record begins on 2004-09-01.

### Q: Has he supervised PhD students?
A: Yes. His recorded doctoral students include Siraj Shaikh, James Alistair Heather, Roberto Delicata, Carl Adekunle, Helen Treharne, Zhe Xia, Neil Evans, and Wilson Ifill.

### Q: What honors has he received?
A: He is a Fellow of the British Computer Society.

## Why They Matter
Steve Schneider’s work matters for its contributions to understanding and ensuring correctness in real-time systems—an area critical to safety-critical and timing-sensitive computing applications. His doctoral thesis, "Correctness and communication in real-time systems," provides a focused scholarly treatment of correctness properties in systems where timing and communication are central concerns. Through his academic appointments at Royal Holloway and the University of Surrey, Schneider has influenced the field both by producing research and by mentoring doctoral students who continue research careers. His publications are indexed in major bibliographic databases (DBLP and Scopus), enabling dissemination and citation within the research community. As a member of the UK Computing Research Committee, he has contributed to national research coordination and policy discussions affecting computing research in the UK. Recognition as a Fellow of the British Computer Society further signals peer acknowledgement of his professional contributions. Without his research, supervision, and committee service, there would be fewer trained researchers in his specialisms and less continuity between formal-methods research and applied real-time system practice in the UK academic sector.

## Notable For
- Author of the doctoral thesis "Correctness and communication in real-time systems."
- Fellow of the British Computer Society.
- Academic appointments at Royal Holloway, University of London, and University of Surrey (employed at Surrey from 2004-09-01).
- Member of the UK Computing Research Committee.
- Supervision of multiple doctoral students who progressed into research roles.

## Body

### Identity and Personal Data
- Full name: Steve A. Schneider (aliases: Steve A. Schneider)
- Family name: Schneider
- Given names: Steve; A.
- Sex/gender: Male
- Residence: England

### Education and Early Research
- Educated at the University of Oxford.
- Doctoral thesis: "Correctness and communication in real-time systems."
- Doctoral advisor: G. Mike Reed.

### Academic Appointments and Employment
- Royal Holloway, University of London — listed employer/affiliation.
- University of Surrey — listed employer with employment start qualifier 2004-09-01.

### Supervision and Students
- Documented doctoral students: Siraj Shaikh; James Alistair Heather; Roberto Delicata; Carl Adekunle; Helen Treharne; Zhe Xia; Neil Evans; Wilson Ifill.

### Research Outputs and Indexing
- DBLP author id: s/SASchneider.
- Scopus author id: 9535657800.
- MR author id: 278135.
- zbMATH author id: schneider.steve-a.
- Dimensions author id: 011014111222.37.
- These identifiers correspond to a body of peer-reviewed publications and enable discovery of his work in bibliographic services.

### Honors, Memberships, and Service
- Award: Fellow of the British Computer Society.
- Member of the UK Computing Research Committee.

### Identifiers and Authority Data
- ISNI: 0000000114833087.
- GND (German National Library) ID: 120332975X.
- VIAF IDs: 305136237, 164270271.
- idRef ID: 06929660X.
- BIBSYS ID: 3082537.
- Library of Congress authority IDs: no2001009606, n88119608.
- Mathematics Genealogy Project ID: 78389.
- Google Knowledge Graph ID: /g/11c2mwczqt.

### Languages
- Languages spoken/written: English.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Steve Schneider",
  "jobTitle": "Computer Scientist",
  "worksFor": [
    {
      "@type": "Organization",
      "name": "University of Surrey"
    },
    {
      "@type": "Organization",
      "name": "Royal Holloway, University of London"
    }
  ],
  "nationality": {
    "@type": "Country",
    "name": "United Kingdom"
  },
  "birthDate": "2000",
  "birthPlace": "United Kingdom",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Oxford"
    }
  ],
  "knowsAbout": [
    "Computer science",
    "Real-time systems"
  ],
  "sameAs": [
    "https://en.wikipedia.org/wiki/Steve_Schneider_(computer_scientist)"
  ],
  "description": "British computer scientist known for research on correctness and communication in real-time systems, academic roles at Royal Holloway and the University of Surrey, and supervision of multiple doctoral students."
}

## References

1. IdRef
2. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0001-8365-6993/employment/1395766)
3. Mathematics Genealogy Project
4. [Source](https://data.dnb.de/opendata/authorities-gnd-person_lds.rdf.gz)
5. Virtual International Authority File
6. [Source](https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/)
7. SciGraph
8. National Library of Israel Names and Subjects Authority File