Dr Artem Polyvyanyy

This person does not currently hold a position at QUT.
Biography
Dr. Artem Polyvyanyy is a Lecturer at the Business Process Management (BPM) research group, Information Systems School, Science & Engineering Faculty, of the Queensland University of Technology (QUT), Brisbane, Australia. He has a strong background in Computer Science, Software Engineering, and Business Process Management from the National University of Kyiv-Mohyla Academy (NaUKMA), Kyiv, Ukraine, and the Hasso Plattner Institute (HPI), Potsdam, Germany. In March 2012, he received a Ph.D. degree (Dr. rer. nat.) in the scientific discipline of Practical Computer Science from the University of Potsdam, Germany. His research and teaching interests include Distributed and Parallel Systems, Automata Theory, Formal Methods, Information Systems, Software Engineering, Workflow Management, and Business Process Management. He has published more than 40 scientific works on these topics in academic book chapters, journal articles, and conference papers.KEY BIOGRAPHICAL FACTS
- Jan 2015 onwards, Lecturer as part of the Early Career Academic Recruitment and Development (ECARD) program at the Business Process Management Discipline, Information Systems School, Science & Engineering Faculty, of the Queensland University of Technology, Brisbane, Australia
- Apr 2012 - Jan 2015, research fellow at the Business Process Management Discipline, Information Systems School, Science & Engineering Faculty, of the Queensland University of Technology, Brisbane, Australia
- Oct 2007 - Mar 2012, member of the research school on "Service-Oriented Systems Engineering" at the "Hasso Plattner Institute" for Software Systems Engineering at the University of Potsdam, Potsdam, Germany
- Oct 2007 - Mar 2012, research assistant and a Ph.D. candidate at the "Business Process Technology" group, "Hasso Plattner Institute" for Software Systems Engineering at the University of Potsdam, Potsdam, Germany
- Mar 2007 - Sep 2007, internship at "SAP Labs", imagineering department, Palo Alto, USA
- Sep 2005 - Feb 2006, student assistant at the "Business Process Technology" group, "Hasso Plattner Institute" for Software Systems Engineering at the University of Potsdam, Potsdam, Germany
- Apr 2005 - Apr 2007, scholarship of the German Academic Exchange Service - Deutscher Akademischer Austausch Dienst (DAAD)
- Apr 2005 - Apr 2007, student of IT-Systems Engineering at the "Hasso Plattner Institute" for Software Systems Engineering at the University of Potsdam, Potsdam, Germany; Master of Science degree
- Jun 2004 - Nov 2004, internship at "Wincor-Nixdorf International GmbH", software quality department, retail division, Hamburg, Germany
- Sep 2001 - May 2003, student assistant at the "Information Computer Center" (ICC), "National University of Kyiv-Mohyla Academy", Kyiv, Ukraine
- Sep 2000 - Jul 2004, student of Computer Science at the "National University of Kyiv-Mohyla Academy", Kyiv, Ukraine; specialization in Information Control Systems and Technologies; Bachelor of Science degree
- Sep 1999 - May 2000, student at the "Basking-Ridge High School", Basking-Ridge County, New Jersey, USA
- Sep 1999 - May 2000, grant of Freedom Support Act, FLEX-ACCELS international students exchange program
- Sep 1993 - May 1999, student at the "Humanitarian Gymnasium", Rivne, Ukraine
Personal details
Keywords
Distributed and Parallel Systems, Automata Theory, Formal Methods, Information Systems, Software Engineering, Workflow Management, Business Process Management
Discipline
Information Systems
Field of Research code, Australian and New Zealand Standard Research Classification (ANZSRC), 2008
Qualifications
- PhD (University of Potsdam)
- Master of Science in Software Engineering (M.Sc.) (Hasso Plattner Institute)
Teaching
Business process management, concurrency theory, Petri nets, formal methods, process analysis and verification, structure theory of processes, service-oriented architectures, enterprise architectures, service science.
GUEST LECTURES/RESEARCH SEMINARS
- 13 October 2014. Processes as Shapeshifters Queensland University of Technology, Brisbane, Australia
- 6 June 2014. Untanglings: A Novel Approach to Analyzing Concurrent Systems Katholieke Universiteit Leuven, Leuven, Belgium
- 5 June 2014. Untanglings: A Novel Approach to Analyzing Concurrent Systems Eindhoven University of Technology, Eindhoven, Netherlands
- 22 April 2013. Advanced Process Modeling: Parsing and Structuring National University of Kyiv-Mohyla Academy, Kyiv, Ukraine
- 27 February 2012. Structuring Process Models Technion - Israel Institute of Technology, Haifa, Israel
- 7 July 2011. Structuring Process Models University of Rostock, Rostock, Germany
- 7 June 2011. Structuring Process Models Eindhoven University of Technology, Eindhoven, Netherlands
TEACHING ACTIVITIES
- Unit (coordinator & lecturer): Modeling Information Systems Bachelor program. First semester 2015. Queensland University of Technology, Brisbane, Australia
- Public course (lecturer): Process Modeling with BPMN November 2014. Queensland University of Technology, Brisbane, Australia
- Unit (coordinator & lecturer): Modeling Information Systems Bachelor program. Second semester 2014. Queensland University of Technology, Brisbane, Australia
- Project unit: Advanced Process Modeling Master program. First semester 2014. Queensland University of Technology, Brisbane, Australia
- Public course (co-lecturer): Process Modeling with BPMN November 2013. Queensland University of Technology, Brisbane, Australia
- Unit (co-lecturer): Business Process Modeling Bachelor and master programs. Second semester 2013. Queensland University of Technology, Brisbane, Australia
- Project unit: Advanced Process Modeling Master program. First semester 2013. Queensland University of Technology, Brisbane, Australia
- Seminar: Business Process Intelligence Master program. Summer semester 2010. Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
- Seminar: Service-oriented Computing Master program. Winter semester 2009/2010. Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
- Seminar: Business Processes in the Real World Master program. Winter semester 2009/2010. Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
- Seminar: Prozessmodellierungsplattform Bachelor program. Winter semester 2009/2010. Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
- Seminar: Intelligent Process Modeling and Labeling Master program. Summer semester 2009. Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
- Seminar: Prozessmodellierungsplattform Bachelor program. Winter semester 2008/2009. Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
- Seminar: Business Process Technology Master program. Summer semester 2008. Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
- Seminar: Information Retrieval in Web Environments Master program. Winter semester 2007/2008. Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
Selected publications
- Polyvyanyy A, Garcia-Banuelos L, Fahland D, Weske M, (2014) Maximal structuring of acyclic process models, The Computer Journal, 57 (1), pp. 12-35.
- Polyvyanyy A, Vanhatalo J, Volzer H, (2011) Simplified computation and generalization of the refined process structure tree, Web Services and Formal Methods: 7th International Workshop, WS-FM 2010 [Lecture Notes in Computer Science, Vol 6551], pp. 25-41.
- Leopold H, Mendling J, Polyvyanyy A, (2014) Supporting process model validation through natural language generation, IEEE Transactions on Software Engineering, 40 (8), pp. 818-840.
- Polyvyanyy A, Garcia-Banuelos L, Dumas-Menijvar M, (2012) Structuring acyclic process models, Information Systems, 37 (6), pp. 518-538.
- Weidlich M, Polyvyanyy A, Desai N, Mendling J, Weske M, (2011) Process compliance analysis based on behavioural profiles, Information Systems, 36 (7), pp. 1009-1025.
- Polyvyanyy A, Weidlich M, Weske M, (2012) Isotactics as a foundation for alignment and abstraction of behavioral models, Business Process Management: 10th International Conference, BPM 2012, Proceedings [Lecture Notes in Computer Science, Volume 7481], pp. 335-351.
- Polyvyanyy A, Weidlich M, Conforti R, La Rosa M, ter Hofstede A, (2014) The 4C spectrum of fundamental behavioral relations for concurrent systems, Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Proceedings [Lecture Notes in Computer Science, Volume 8489], pp. 210-232.
- Polyvyanyy A, La Rosa M, ter Hofstede A, (2014) Indexing and efficient instance-based retrieval of process models using untanglings, Advanced Information Systems Engineering: 26th International Conference, CAiSE 2014, Proceedings [Lecture Notes in Computer Science, Volume 8484], pp. 439-456.
- Yang Y, Dumas-Menijvar M, Garcia-Banuelos L, Polyvyanyy A, Zhang L, (2012) Generalized aggregate Quality of Service computation for composite services, Journal of Systems and Software, 85 (8), pp. 1818-1830.
- Polyvyanyy A, Smirnov S, Weske M, (2009) The triconnected abstraction of process models, Business Process Management: 7th International Conference, BPM 2009, Proceedings, [Lecture Notes in Computer Science, Vol 5701], pp. 229-244.
QUT ePrints
For more publications by Artem, explore their research in QUT ePrints (our digital repository).