Research associate
Research engineer,
- Developing WISE ADS, WISE Sim, and UW Moose vehicle (Jan 2019-present)
- AVIN Lanelet2 mapping for automated vehicles (Sep 2021-present)
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
- Research engineer, AV Testing Methods with AAAʼs Northern California, Nevada and Utah, journal article "Modes of Automated Driving System Scenario Testing: Experience Report and Recommendations", 2020
- Research engineer, Autonomoose.net and Renesas CES Demo video, 2017 demo news, 2018 demo news (Sep 2016-Dec 2018)
- Research engineer, Network for the Engineering of Complex Software-Intensive Systems (NECSIS) (Sep 2011-Aug 2016)
- Postdoctoral fellow (2008-2011), Electrical and Computer Engineering, University of Waterloo, Canada
- PhD graduate (2008), Electrical and Computer Engineering, University of Waterloo, Canada
- IBM Centers for Advanced Studies PhD fellow (2004-2006)
- MASc graduate (2003), Institute of Computer Science, University of Wrocław, Poland
Links
Google Citations | ACM | researchr.org
For news about Waterloo autonomous car project, visit WISE ADS.
For news about Clafer, visit clafer.org.
For the old profile page, visit Generative Software Development Lab page.
Publications
2020
, "Modes of Automated Driving System Scenario Testing: Experience Report and Recommendations ", SAE World Congress Experience: SAE, 2020. BibTeX
2018
"Clafer: Lightweight Modeling of Structure and Behaviour", The Art, Science, and Engineering of Programming Journal, vol. 3, issue 1, 07/2018. BibTex
"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
2017
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems", Software and Systems Modeling, 2017. BibTex
2016
"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
Affiliation:
University of Waterloo
Contact information: