Research associate
Research engineer, Autonomoose.net (Sep 2016-present)
Program coordinator, NSERC CREATE in Product-Line Engineering for Cyber-Physical Systems (September 2015-present)
Previous positions
- 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 autonomoose.net.
For news about Clafer, visit clafer.org.
For the old profile page, visit Generative Software Development Lab page.
Publications
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: