Research associate

Michal Antkiewicz photo

Research engineer,

Program coordinator, NSERC CREATE in Product-Line Engineering for Cyber-Physical Systems (September 2015-present)

Linux system administrator, manage web and GPU servers and HP Enterprise Apollo 6500 GPU server and Infiniband fabric.

Previous positions


Google Citations | ACM |

For news about Waterloo autonomous car project, visit WISE ADS.

For news about Clafer, visit

For the old profile page, visit Generative Software Development Lab page.



Antkiewicz, M., M. Kahn, M. Ala, K. Czarnecki, P. Wells, A. Acharya, and S. Beiker, "Modes of Automated Driving System Scenario Testing: Experience Report and Recommendations ", SAE World Congress Experience: SAE, 2020. BibTeX


Juodisius, P., A. Sarkar, R. Rao Mukkamala, M. Antkiewicz, K. Czarnecki, and A. Wąsowski, "Clafer: Lightweight Modeling of Structure and Behaviour", The Art, Science, and Engineering of Programming Journal, vol. 3, issue 1, 07/2018. BibTex
Zayan, D., A. Sarkar, M. Antkiewicz, R. Suzana Pit Maciel, and K. Czarnecki, "Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them", Software & Systems Modeling, 01/2018. BibTex


Ross, J., A. Murashkin, J. Hui Liang, M. Antkiewicz, and K. Czarnecki, "Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems", Software and Systems Modeling, 2017. BibTex


Khalilov, E., J. Ross, M. Antkiewicz, M. Völter, and K. Czarnecki, "Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners", ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 10/2016. BibTex
University of Waterloo
Contact information: 

WISE Lab logo

Profiles by type


We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.