William Joseph Spring PhD, MSc, BSc(Hons), PGCE

Research

Dr Springs research interests include  Classical and Quantum Based Security for Networks and Distributed Systems, (areas include communication in ad hoc and hybrid networks and distributed systems, cybersecurity, voting schemes, cryptography, protocols, risk, algorithms, programming paradigms), Modelling and Problem Solving Strategies, Information, Information Geometry, Quantum AI, Quantum Structures and Quantum Stochastic Theory. His PhD students are engaged in these and related areas.

Research has involved Quantum Stochastic Models, Commutative and Non-Commutative Integration Theory, Martingales, Operator Theory, C* Algebras, von Neumann Algebras and Quantum Statistical Mechanics. Papers have been published on Quantum Based Neworks, Quantum Stochastic Calculus,  Quantum Voting Protocols, Intrusion Detection and Prevention, and in applications of Game Theory to Security.

Seminars and Presentations

In Computer Science Dr Spring has delivered seminars in Cryptography and Cyber Security. He has been the driving force in establishing Computer Security Groups, created to support and encourage undergraduate and postgraduate research in security related areas. Leading these groups has involved delivering seminars and in inviting guest speakers, colleagues and students, to deliver presentations to the group, for the benefit of the group.

In Mathematics Dr Spring has delivered seminars on Tensor Products, Fock Space, Measure Theory, von Neumann Algebras, Quantum Probability and Quantum Information Theory. He has also delivered seminars on Algebraic Geometry, Cryptography and Cryptanalysis.

Supervision

Dr Spring has supervised students for PhD, MPhil, MSc (Res), MSc. and BSc.(Hons). He is currently, supervising students in areas from: Quantum Distributed Systems, Cyber Security, Intrusion Detection, Applications of Game Theory to Secure Systems, Security and VoIP, Security and the Internet of Things, Cryptography, Cryptographic algorithms, and the representation of Quantum states in Hyperbolic Geometry.

Membership of Professional Bodies and Learned Societies  

Dr Spring is a member of the following professional bodies and learned societies:

• AQPIDA (Association of Quantum Probability and Infinite Dimensional Analysis)

• Bedford Society (Committee)

• BCS (British Computer Society)

• European Conference on Cyber Warfare and Security (Committee)

• IACR (International Association for Cryptographic Research)

• IAMP (International Association of Mathematical Physics)

• IQSA (International Quantum Structures Association)

• LMS (London Mathematical Society)

• OWASP (Open Web Application Security Project)

Dr Spring is currently a senior lecturer in the Department of Computer Science at the University of Hertfordshire specialising in both quantum and classical based security.

As a member of the University STRI Research Centre, the School Algorithms, AI and Information Research Groups, Dr Springs research interests include Classical and Quantum Based Security for Distributed Systems, (Cybersecurity, Voting Schemes, Cryptography, Security Protocols, Risk, Algorithms, Programming Paradigms), Modelling and Problem Solving Strategies, Information, Information Geometry, Quantum AI, Quantum Structures and Quantum Stochastic Theory. Dr Springs PhD students are engaged in areas relating to the above. Dr Spring was co-author on the first paper written on quantum based voting schemes.

From a lecturing perspective Dr Spring is involved in a range of modules that include cybersecurity at both the postgraduate level (Distributed Systems Security, Secure Systems Programming, Computational Algorithms and Paradigms) and the undergraduate level (Quantum Computing, Cyber Security).

From a teaching perspective he has taught in primary, secondary, further, and higher education delivering sessions in both mathematics and computer science.  He has developed and delivered a significant number of modules and courses for both on campus and online students in higher education.

In addition to teaching and lecturing in the UK, Dr Spring has also delivered short courses in India relating to both Classical and Quantum Networks and to Classical and Quantum Cryptography. Dr Spring has presented talks on quantum distributed systems to the International Quantum Structures Association; to students and graduates at Chitkara University in the Punjab, India; and to the British Computer Society back in the UK. Dr Spring has also developed and delivered a range of courses in the Middle East, in Puerto Rico and delivered presentations on education in Hungary, Ireland, Oman and UAE.

Dr Spring has taught infants, juniors, (primary), and secondary pupils. He has also taught students in both further and higher education and in industry to employees both in the U.K. and abroad. Dr Spring has a PGCE (Post Graduate Certificate in Education) from the University of Bristol.  

Lectures.

Dr Spring has taught mathematics to a wide range of students at various levels. The areas of tuition include  Quantum Computing, Communication and Information, Operator Theory, Gyrovectors, Hyperbolic Geometry, Algebraic Geometry, Finite Field Theory, Statistics, Mathematical Models and Methods, Quantitative Methods, Logic, Functions, Group Theory, Linear Algebra, A-Level (Pure and Applied: Mathemeatics and Further Mathematics), GCSE, Access, and Numeracy.

In Computer Science Dr Spring has developed and/or lectured on a wide range of modules. These currently include: Distributed Systems Security, Secure Systems Programming, Computational Algorithms and Paradigms, Quantum Computing, and Cyber Security. He has also developed and/or lectured at the postgraduate level on Programming Paradigms, Measures and Models in Software Engineering, Software Development Paradigms, Simulating Real Systems, Computer and Internet Security. At the undergraduate level he has developed and/or lectured in Computer Networks Principles and Applications, Software Metrics, Executive Information Systems and Decision Support Systems, Total Quality Management for Information Systems, (level 6);  Operating Systems and Computer Networks, Programming and Programming Design 2, Software Quality, (level 5); Foundations of Computation, Formal Systems, Formal Languages and Deduction, Logic, Further Object Oriented Programming, Introduction to OOP, Programming and Program Design 1, Programming Principles, Programming for Beginners, and Business Systems (level 4).

 Short Courses

Dr Spring has developed and delivered short courses in India relating to classical and quantum networks, classical and quantum cryptography and has presented talks on quantum distributed systems to the International Quantum Structures Association, Chitkara University, Punjab, India and to the British Computer Society in the UK. More recently, Dr Spring has developed and delivered short courses on the application of quantum theory to the field of cyber security.

Online Courses

Dr Spring has developed and delivered online modules for courses at both the undergraduate and postgraduate levels in Mathematics and Computer Science.