Professor David Parker BSc PhD

Professor David Parker

School of Computer Science
Professor of Computer Science

Contact details

Address
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK

David Parker is a Professor of Computer Science. His research is in formal verification: rigorous, mathematical techniques for checking that systems function correctly and reliably. He has published over 120 research papers in this area and leads the development of the widely used verification software PRISM

For more information, please visit David's Computer Science profile

Qualifications

  • PhD in Computer Science (2003)

  • BSc in Mathematics & Computer Science (1998)

Biography

David Parker undertook both his BSc (in Mathematics & Computer Science) and his PhD (in Computer Science) at the University of Birmingham. After completing his PhD in 2003, he worked as a postdoctoral researcher on various projects following on from his doctoral studies. He then moved to the University of Oxford in 2007, completing a further 5 years as a postdoctoral researcher. He returned to the University of Birmingham as a lecturer in 2012.

Postgraduate supervision

David Parker’s research is in formal verification: rigorous, mathematical techniques for checking that systems function correctly. In particular, he works on quantitative verification, which is used to check quantitative properties such as safety, reliability, performance and many others.

His work spans the full spectrum of theory to practice: he has developed novel theories for formal verification, worked on efficient techniques and algorithms, developed software tools and applied all these to a wide range of real-life problems, including mobile robotics, autonomous systems, computer security and systems biology.

He has published over 120 papers in the area of formal verification and his research has been supported by grants funded by EPSRC, EU-FP7 and DARPA. He also leads the development of the widely used probabilistic verification tool PRISM, for which he was a co-winner of the 2016 HVC award (for “most influential work in the last five years in formal verification, simulation, and testing”).

Publications

Recent publications

Article

Shi, N, Zhu, Z, Tang, K, Parker, D & He, S 2019, 'ATEN: And/Or Tree Ensemble for inferring accurate Boolean network topology and dynamics', Bioinformatics. https://doi.org/10.1093/bioinformatics/btz563

Henze, R, Mu, C, Puljiz, M, Kamaleson, N, Huwald, J, Haslegrave, J, di Fenizio, PS, Parker, D, Good, C, Rowe, JE, Ibrahim, B & Dittrich, P 2019, 'Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint', Scientific Reports, vol. 9, no. 1, 3902. https://doi.org/10.1038/s41598-019-40648-w

Lacerda, B, Faruq, F, Parker, D & Hawes, N 2019, 'Probabilistic planning with formal performance guarantees for mobile service robots', The International Journal of Robotics Research, vol. 38, no. 9, pp. 1098–1123. https://doi.org/10.1177/0278364919856695

Pfeffer, A, Wu, C, Fry, G, Lu, K, Marotta, S, Reposa, M, Shi, Y, Kumar, TKS, Knoblock, CA, Parker, D, Muhammad, I & Novakovic, C 2019, 'Software adaptation for an unmanned undersea vehicle', IEEE Software, vol. 36, no. 2, 8648259, pp. 91-96. https://doi.org/10.1109/MS.2018.2886815

Conference contribution

Kwiatkowska, M, Norman, G, Parker, D & Santos, G 2020, PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. in 32nd International Conference on Computer Aided Verification (CAV 2020), Proceedings. Lecture Notes in Computer Science, Springer, 32nd International Conference on Computer Aided Verification (CAV 2020), 19/07/20.

Oxford, M, Parker, D & Ryan, M 2020, Quantitative Verification of Certificate Transparency Gossip Protocols. in Proceedings of 6th International Workshop on Security and Privacy in the Cloud (SPC'20). IEEE Computer Society Press, 6th International Workshop on Security and Privacy in the Cloud (SPC'20), Virtual event, 29/06/20.

Novakovic, C & Parker, D 2019, Automated formal analysis of side-channel attacks on probabilistic systems. in K Sako, S Schneider & PYA Ryan (eds), Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I. Lecture Notes in Computer Science , vol. 11735, Security and Cryptology, vol. 11735, Springer, pp. 319-337, 24th European Symposium on Research in Computer Security (ESORICS'19), Luxembourg, 23/09/19. https://doi.org/10.1007/978-3-030-29959-0_16

Kwiatkowska, M, Norman, G, Parker, D & Santos, G 2019, Equilibria-based probabilistic model checking for concurrent stochastic games. in MH ter Beek, A McIver & JN Oliveira (eds), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11800, Programming and Software Engineering, vol. 11800, Springer, pp. 298-315, 23rd International Symposium on Formal Methods (FM'19), Porto, Portugal, 7/10/19.

Evangelidis, A & Parker, D 2019, Quantitative verification of numerical stability for Kalman filters. in Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11800, Springer, 23rd International Symposium on Formal Methods (FM'19), Porto, Portugal, 7/10/19. https://doi.org/10.1007/978-3-030-30942-8_26

Faruq, F, Lacerda, B, Hawes, N & Parker, D 2019, Simultaneous task allocation and planning under uncertainty. in 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Workshop on Intelligent Robots and Systems (IROS) , IEEE Computer Society Press, pp. 3559-3564, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'18), Madrid, Spain, 1/10/18. https://doi.org/10.1109/IROS.2018.8594404

Hahn, EM, Hartmanns, A, Hensel, C, Klauck, M, Klein, J, Kretínský, J, Parker, D, Quatmann, T, Ruijters, E & Steinmetz, M 2019, The 2019 comparison of tools for the analysis of quantitative formal models (QComp 2019 competition report). in D Beyer, M Huisman, F Kordon & B Steffen (eds), Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. vol. 3, Lecture Notes in Computer Science, vol. 11429, Springer, pp. 69-92, TOOLympics at TACAS 2019, Prague, Czech Republic, 6/04/19. https://doi.org/10.1007/978-3-030-17502-3_5

Hartmanns, A, Klauck, M, Parker, D, Quatmann, T & Ruijters, E 2019, The quantitative verification benchmark set. in D Beyer, M Huisman, F Kordon & B Steffen (eds), Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. vol. 1, Lecture Notes in Computer Science, vol. 11427, Springer, pp. 344–350, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), , Prague, Czech Republic, 6/04/19. https://doi.org/10.1007/978-3-030-17462-0_20

Kwiatkowska, M, Norman, G & Parker, D 2019, Verification and control of turn-based probabilistic real-time games. in M Alvim, K Chatzikokolakis, C Olarte & F Valencia (eds), The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. vol. 11760, Lecture Notes in Computer Science, Springer, pp. 379-396. https://doi.org/10.1007/978-3-030-31175-9_22

Kwiatkowska, M, Norman, G, Parker, D & Santos, G 2018, Automated Verification of Concurrent Stochastic Games. in Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST'18).. Lecture Notes in Computer Science, Springer, 15th International Conference on Quantitative Evaluation of SysTems (QEST'18), Beijing, China, 4/09/18. https://doi.org/10.1007/978-3-319-99154-2_14

Al-Ajeli, A & Parker, D 2018, Online fault diagnosis in Petri net models of discrete-event systems using Fourier-Motzkin. in Proceedings of the 12th UKACC International Conference on Control. IEEE Xplore, pp. 397-402, 12th UKACC International Conference on Control (Control 2018), Sheffield, United Kingdom, 5/09/18. https://doi.org/10.1109/CONTROL.2018.8516748

View all publications in research portal