Artem Polyvyanyy | Models of Concurrency & Formal Analysis
Dr. Artem Polyvyanyy is a research fellow at the Business Process Management (BPM) research group of the Information Systems school, Science & Engineering faculty, at the Queensland University of Technology (QUT), Brisbane, Australia.
Artem Polyvyanyy, Software Engineering, Computer Science, Business Process Management, Concurrency Theory, Models for Concurrency, Formal Analysis
Is this your site? Certify your site and update informations
