Research associate
Research engineer developing WISE ADS, WISE Sim, and UW Moose vehicle (Jan 2019-present).
Linux system administrator managing GPU servers (including HP Enterprise Apollo 6500 GPU server), general purpose servers, and workstations.
Lab manager overseeing operations of the WISE Lab.
Previous positions
- Program coordinator, NSERC CREATE in Product-Line Engineering for Cyber-Physical Systems (September 2015-August 2020)
- Research engineer, AVIN Lanelet2 mapping for automated vehicles (Sep 2021-Apr 2022)
- 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 | LinkedIn
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: