Short CV
Richard Schumi is a Senior Scientist in the Information and Communication Systems research group at the University of Klagenfurt. He received his Diplom-Ingenieur and PhD in Computer Science from Graz University of Technology (2010–2018), where his research focused on software verification, model-based testing, performance testing, machine learning, and statistical model checking.
From 2019 to 2023, he was a Postdoctoral Research Scientist at the Singapore University of Technology and Design and Singapore Management University, conducting research in AI, blockchain, cybersecurity, smart contracts, compiler and differential testing, mutation testing, and Web 3.0 technologies. He successfully acquired competitive research funding and supervised five junior researchers throughout this period.
Beyond academia, he has 3 years of industry experience as a Senior Software Developer, with a strong research orientation centred on SaaS, FinTech, Web 3.0, and AI-driven software engineering. He has additionally led the development and maintenance of a medical documentation system for 15 years, gaining extensive experience in sustaining complex information systems in long-term operational use.
Research Interests
- Formal Methods, Automated Testing, and Verification (model-based, mutation, differential, compiler, or property-based)
- AI and Machine Learning (framework semantics, deep learning verification, and AI-driven software engineering)
- Blockchain, Smart Contracts, Web 3.0, and FinTech
- Information and Cybersecurity
- Temporal and Cost Aspects of Information Systems
Publications
Here is a list of the latest publications. Publications from Graz University of Technology follow alphabetical author ordering. I am the primary author of these papers.
Richard Schumi and Jun Sun: Semantic-Based Neural Network Repair. Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), ACM, 2023, pp. 150–162.
Richard Schumi and Jun Sun: ExAIS: Executable AI Semantics. IEEE/ACM 44th International Conference on Software Engineering (ICSE 2022), ACM, 2022, pp. 859–870.
Richard Schumi and Jun Sun: SpecTest: Specification-Based Compiler Testing. Fundamental Approaches to Software Engineering (FASE 2021), Springer, Lecture Notes in Computer Science, Vol. 12649, 2021, pp. 269–291.
Pieter H. Hartel and Richard Schumi: Mutation Testing of Smart Contracts at Scale. Tests and Proofs (TAP 2020), Springer, Lecture Notes in Computer Science, Vol. 12165, 2020, pp. 23–42.
Ivan Homoliak, Sarad Venugopalan, Daniël Reijsbergen, Qingze Hum, Richard Schumi, and Pawel Szalachowski: The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. IEEE Communications Surveys & Tutorials, Vol. 23, No. 1, 2021, pp. 341–390.
Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, and Andreas Wurm: Predicting and Testing Latencies with Deep Learning: An IoT Case Study. Tests and Proofs (TAP 2019), Springer, Lecture Notes in Computer Science, Vol. 11823, 2019, pp. 93–111.
Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korošec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, and Richard Schumi: Learning and Statistical Model Checking of System Response Times. Software Quality Journal, Vol. 27, No. 2, Springer, 2019, pp. 757–795.
Bernhard K. Aichernig and Richard Schumi: Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models. Software & Systems Modeling, Vol. 18, No. 2, Springer, 2019, pp. 889–911.
Bernhard K. Aichernig and Richard Schumi: How Fast Is MQTT? – Statistical Model Checking and Testing of IoT Protocols. Quantitative Evaluation of Systems (QEST 2018), Springer, Lecture Notes in Computer Science, Vol. 11024, 2018, pp. 36–52.
Bernhard K. Aichernig, Severin Kann, and Richard Schumi: Statistical Model Checking of Response Times for Different System Deployments. Dependable Software Engineering (SETTA 2018), Springer, Lecture Notes in Computer Science, Vol. 10998, 2018, pp. 153–169.
Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, and Rupert Schlick: Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. Testing Software and Systems (ICTSS 2017), Springer, Lecture Notes in Computer Science, Vol. 10533, 2017, pp. 293–310.
Bernhard K. Aichernig, Silvio Marcovic, and Richard Schumi: Property-Based Testing with External Test-Case Generators. 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2017), IEEE, 2017, pp. 337–346.
Bernhard K. Aichernig and Richard Schumi: Statistical Model Checking Meets Property-Based Testing. 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), IEEE, 2017, pp. 390–400.
Bernhard K. Aichernig and Richard Schumi: Towards Integrating Statistical Model Checking Into Property-Based Testing. 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2016), IEEE, 2016, pp. 71–76.
Bernhard K. Aichernig and Richard Schumi: Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2016), IEEE, 2016, pp. 219–228.
Roderick Bloem, Daniel M. Hein, Franz Röck, and Richard Schumi: Case Study: Automatic Test Case Generation for a Secure Cache Implementation. Tests and Proofs (TAP 2015), Springer, Lecture Notes in Computer Science, Vol. 9154, 2015, pp. 58–75.
