Kacper Bąk, Ph.D.

Kacper Bak
Senior Software Engineer at MathWorks
Email: contact@#REMOVEME#kacper#REMOVEME TOO#.me
Personal website: http://kacper.me

My CV [PDF]

For my PhD I was doing research in software engineering:

  • design of two languages for modeling and analysis of variability in Software Product Lines: Clafer and Common Variability Language. The former is a general purpose lightweight modeling language. It enables new ways of specifying and testing software requirements. The second is an upcoming OMG standard.
  • proposal of Example-Driven Modeling, an approach that systematically uses explicit examples for eliciting, modeling, verifying, and validating complex business knowledge.

Before joining the GSD Lab I was interested in cryptography and computer security, which resulted in the final-year project on Certificateless Cryptography [PDF]. As an undergrad I enjoyed building satellites and was a member of Student Space Engineering Scientific Group.

News

Projects

Current Projects

Past Projects

Tools

Graduate Courses

Teaching

Publications

2014
Bąk, K., Z. Diskin, M. Antkiewicz, K. Czarnecki, and A. Wąsowski, "Clafer: Unifying Class and Feature Modeling", Software and Systems Modeling, 2014. [pdf]
2013
Bąk, K., Modeling and Analysis of Software Product Line Variability in Clafer, , vol. PhD: University of Waterloo, 11/2013.
Antkiewicz, M., K. Bąk, A. Murashkin, R. Olaechea, J. Liang, and K. Czarnecki, "Clafer Tools for Product Line Engineering", Software Product Line Conference, Tokyo, Japan, 2013. [pdf]
Antkiewicz, M., K. Bąk, D. Zayan, K. Czarnecki, A. Wąsowski, and Z. Diskin, "Example-Driven Modeling Using Clafer", First International Workshop on Model-driven Engineering By Example, 2013. [ppsx][pdf]
Bąk, K., D. Zayan, K. Czarnecki, M. Antkiewicz, Z. Diskin, A. Wąsowski, and D. Rayside, "Example-Driven Modeling. Model = Abstractions + Examples", New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013. [pdf]
Bąk, K., Z. Diskin, M. Antkiewicz, K. Czarnecki, and A. Wąsowski, "Partial Instances via Subclassing", 6th International Conference on Software Language Engineering, Indianapolis, USA, 2013. [pdf][pdf]
2012
Bąk, K., D. Zayan, K. Czarnecki, M. Antkiewicz, Z. Diskin, A. Wąsowski, and D. Rayside, Example-Driven Modeling poster, , Toronto, CASCON, 2012. [pdf]
2010
Bąk, K., K. Czarnecki, and A. Wąsowski, "Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled", 3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 10/2010. [pdf][pdf]
Bąk, K., K. Czarnecki, and A. Wąsowski, "Feature and Class Models in Clafer: Mixed, Specialized, and Coupled", David R. Cheriton School of Computer Science, Waterloo, University of Waterloo, 06/2010.
2009
Bąk, K., Certificateless Cryptography, , vol. BSc: Warsaw University of Technology, 2009. [pdf]