PhD Opportunities

Our research group is constantly looking for candidates who are willing to undergo PhD studies. The research topics we offer include those provided below.

Please see here for information on scholarships and funding opportunities at QUT.

Due to the nature of the research work we undertake which combines formal and technical research contributions with substantial implementation and validations within the real-world setting, we require that students have appropriate background knowledge. Therefore, as the first step in the selection process, we request all the candidates to complete an entry test. The test is designed to reveal candidate's strong analytical capabilities. The test is distributed among potential candidates via email. Every candidate gets two weeks to complete the test and return the answers to us. Based on the outcome of this test, the candidate is informed on the next steps in the selection process.

Please contact Dr Artem Polyvyanyy with your CV and expression of interest for further details.

Topic 1: Process Query Language: Design, implementation, evaluation

Process Query Language (PQL) is a special-purpose programming language designed for retrieving process models from collections and/or repositories thereof based on information about process instances that these process models specify.

A prospective PhD candidate will concentrate on research around one particular aspect of PQL, for instance: (i) language design, including abstract and concrete syntax, static and dynamic semantics, (ii) efficient implementation of the PQL semantics, including design of dedicated index data structures, (iii) evaluation of the PQL technology in practical settings.

Discipline areas: Computer Science, Software Engineering, Business Process Management

Student to be placed in: BPM Discipline (at the IS School, Faculty of Science and Engineering, Queensland University of Technology, Brisbane, Australia)

Related Publications

Arthur H.M. ter Hofstede, Chun Ouyang, Marcello La Rosa, Liang Song, Jianmin Wang, and Artem Polyvyanyy
APQL: A Process-Model Query Language   [postprint]
Proceedings of the 1st Asia Pacific Conference on Business Process Management (AP-BPM)
Beijing, China, August 29-30, 2013. LNBIP 159, pp. 23-38, Springer International Publishing.

Topic 2: The Theory of Untanglings: Enabling novel applications of concurrent systems

An untangling of a model of a concurrent system is a novel compact representation of all its executions, or instances. A prospective PhD candidate will concentrate on research around one particular aspect of the theory of untanglings, for example: (i) design of efficient algorithms for computing untanglings, (ii) practical applications of untanglings, initial ideas include model checking and process compliance.

Discipline areas: Computer Science, Business Process Management

Student to be placed in: BPM Discipline (at the IS School, Faculty of Science and Engineering, Queensland University of Technology, Brisbane, Australia)

Related Publications

Artem Polyvyanyy, Marcello La Rosa, and Arthur H.M. ter Hofstede
Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings   [postprint]
Proceedings of the 26th International Conference on Advanced Information Systems Engineering (CAiSE)
Thessaloniki, Greece, June 16-20, 2014. LNCS 8484, pp. 439-456, Springer International Publishing.

Artem Polyvyanyy, Marcello La Rosa, Chun Ouyang, and Arthur H.M. ter Hofstede
Untanglings: A Novel Approach to Analyzing Concurrent Systems
Queensland University of Technology, Technical Report, ID Code: 56455, January, 2013.